Section outline
-
Introduction to propositional and first-order logic
- Propositional logic (syntax, valuations, truth tables, proof, satisfaction)
- Predicate logic (syntax, semantics, models, validity, proof, completeness)
Introduction to propositional and first-order logic