Topics covered in the lectures will include:
- Basic notions - propositions and arguments
- The propositional calculus and truth tables
- Consistency and entailment
- Formal proofs and deduction
- Semantic tableau
- Natural deduction
- Predicate logic
- Interpretations and quantifiers
- Theories and models
- Resolution in predicate logic
The weekly exercise classes provide an opportunity to practise the
techniques introduced in the lectures.