The Logic Book

• Derivation Rules

• Chapter 1 Basic Notions of Logic

• Chapter 2 Sentential Logic: Symbolization and Syntax

• Chapter 3 Sentential Logic: Semantics

• Chapter 4 Sentential Logic: Truth-Trees

• Chapter 5 Sentential Logic: Derivations

• Chapter 6 Sentential Logic: Metatheory

• Chapter 7 Predicate Logic: Symbolization and Syntax

• Chapter 8 Predicate Logic: Semantics

• Chapter 9 Predicate Logic: Truth Trees

• Chapter 10 Predicate Logic: Derivations

• Chapter 11 Predicate Logic: Metatheory