PHIL0005: Introduction to Logic 1 (21/22)

This is an elementary course in propositional logic. We will cover a range of topics including formalisation, the syntax and semantics of basic formal languages, the construction of proofs, and logical properties such as consistency and entailment.