Explore the foundations of reasoning through 24 interactive demonstrations. From truth tables and proof trees to Godel's incompleteness theorem and SAT solving.
See also: Set Theory for the foundational structures formal logic reasons about, Model Theory for the semantic side of formal languages, and Proof Techniques for the deduction patterns in everyday math.
Truth tables, connectives, tautologies, and equivalence
CNF, DNF, logic gates, and Karnaugh maps
Quantifiers, variable binding, and prenex normal form
Proof rules, proof trees, and classic derivations
Truth trees, countermodels, and argument validation
Syntax meets semantics — the fundamental bridge
Godel numbering, self-reference, and the limits of proof
SAT solving, logic circuits, and Sudoku as logic