Lecture #15 continued our look at propositional logic. In particular it looked at various proof mechanisms.
There are no notes for this lecture.
This material is not really covered in the textbook.