← Lecture 8, 9 Propositional Logic