Lecture for Week 6 2012 Spring. Introduction to Propositional Logic Types of Proposition Operator and Truth table Agenda.