Index of Propositional Logic

Propositional Logic

• Ch. 1 Propositional Logic

  • 1.1 Propositional Logic

  • 1.2 Validity, Satisfiability, Contradiction

  • 1.3 Consequence and Equivalence

  • 1.4 Formal Proof

  • 1.5 Proof by Induction

  • 1.6 Normal Forms

  • 1.7 Horn Formulas

  • 1.8 Resolution

  • 1.9 Completeness and Compactness

  • 1.10 Craig’s Interpolation Theorem