Chapter 1: The Formal Language of Sentential Logic Chapter 2: Natural Deduction and Proofs Chapter 3: The Formal Language of Predicate Logic Chapter 4: Natural Deduction in Predicate Logic