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: sequents, inference rules, axioms, theorems, LK system, resolution method

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

- Curry-Howard correspondence

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