Formal Sciences

Mathematics Core

Symbolic logic notation, formal proof schemas, algebraic reasoning frameworks, and set theory foundations from De Morgan's Formal Logic.

Vectors
587
Collection ID
unison_mathematics_core

Primary sources

  • De Morgan Formal Logic
  • Granville Calculus Excerpt

Agent install (Smithery)

npx @smithery/cli run colbymahon/unison-orchestration-hub

Query endpoint: https://unison-edge-gateway.unisonorchestration.workers.dev/mcp/v1/search?collection=unison_mathematics_core&q=

chunk_id	collection	category	content
math_001	unison_mathematics_core	Logic	De Morgan laws: ¬(A∧B)≡¬A∨¬B; ¬(A∨B)≡¬A∧¬B. Modus ponens: [P∧(P→Q)]→Q. Modus tollens: [¬Q∧(P→Q)]→¬P. Contrapositive: (P→Q)≡(¬Q→¬P).
math_002	unison_mathematics_core	Calculus	Taylor series: f(x)=Σ[f^(n)(a)/n!](x-a)^n. e^x=1+x+x²/2!+x³/3!+… sin(x)=x-x³/3!+x⁵/5!-… Radius convergence: lim|a_{n+1}/a_n|.