Lecture 1 (History of Philosophy) Review of Propositional and Predicate Logic with Identity