Gary Hardegree
Symbolic Logic: A First Course
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