Lecture for Week 6 2012 Spring Introduction to Propositional Logic Types of Proposition Operator and Truth table Agenda Logic is the discipline which is concerned with reasoning.…