The following instructional videos and slides cover propositional and predicate logic. We will be reviewing this material during the first 4-5 weeks of class. Note: The chapter headings you see on the slides correspond to Schaum's Easy Outline of Logic. The chapter headings provided below correspond to our text Logics. John Nolt is the author of both texts. The formalism is identical, though some of the vocabulary varies slightly. Propositional logic Ch 2 Language of propositional logic Ch 3.1-3.2 The semantics of propositional logic
Ch 3.3 Trees for propositional logic Propositional calculus Ch 4.1-4.2 Direct proof and basic rules
Ch 4.4 Derived rules Ch 4.4 Equivalences and theorems Predicate logicCh 6 -7.3 Language of predicate logic
Ch 7.4 Trees for predicate logic
Predicate calculusCh 8 Rules for quantifiers |