Course info
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.
Course contacts
Tutor
CC
LF
OG
ON
TW
Course Administrator
SG
SS
JT
AV
EW