Propositional Logic

- Formal syntax of propositional logic: symbols, connectives, well-formed formulas, syntactic trees, normal forms, and clause forms

- Semantics of propositional logic: interpretation, model, truth tables, satisfiability, validity, semantic equivalence, logical consequence

- Modeling: formalization of problems in propositional logic; expressive limits of propositional logic

- Formal proof: sequences, inference rules, axioms, theorems, the LK system, the resolution method

- Correctness and completeness of a system with respect to a semantics: proof of the correctness and completeness of the LK and the resolution method (reduced to the propositional case)

- Curry–Howard Correspondence

- Introduction to first-order logic (predicate calculus) without function symbols