Gary Hardegree Symbolic Logic: A First Course (older edition) Chapter 0 : Table of Contents Chapter 1: Basic Concepts of Logic Chapter 2: Truth-Functional Connectives Chapter 3: Validity in Sentential Logic Chapter 4: Translations in Sentential Logic Chapter 5: Derivations in Sentential Logic Chapter 6: Translations in Monadic Predicate Logic Chapter 7: Translations in Polyadic Predicate Logic Chapter 8: Derivations in Predicate Logic (OLD) Rules of Derivation (NEW) Rules of Derivation RULE SHEET FOR EXAM 2 RULE SHEET FOR EXAMS 4 and 6 These require Adobe Acrobat Reader.