Lecture 1 - Propositional Logic