First-order logic

Syntax, proof calculi and semantics of first-order predicate logic, including soundness and Gödel's completeness theorem.

• Embedding propositional logic into first-order logic
• First-order syntax
• First-order natural deduction
• First-order unification
• Gödel's completeness theorem

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.