Lecture #12 continued our look at propositional logic. In particular it looked at various proof mechanisms.
Notes are available in two formats:
This material is not really covered in the textbook.