Notes and Reading - Lecture #16

Lecture #16 continued our look at propositional logic. In particular it looked at proof theory.


Notes are available in two formats:


This material is not really covered in the textbook.

The only way you will get good at doing proofs (and they are the kind of thing which have a habit of cropping up in exams) is by working through ones done by other people and doing them yourselves.

So, you should go through the examples in the notes carefully (and then look at the homework and tutorial examples).