Template:Formal Logic/Sentential Logic TOC

For book Formal Logic.


 * 1) Sentential Logic
 * 2) Informal Overview
 * 3) Goals
 * 4) The Sentential Language
 * 5) Syntax
 * 6) Formal Syntax
 * 7) Informal Conventions
 * 8) Semantics
 * 9) Formal Semantics
 * 10) Truth Tables
 * 11) Validity
 * 12) Expressibility
 * 13) Properties of Sentential Connectives
 * 14) Substitution and Interchange
 * 15) Natural Language Translations
 * 16) Translations
 * 17) Derivations
 * 18) Derivations
 * 19) Inference Rules
 * 20) Constructing a Simple Derivation
 * 21) Subderivations and Discharge Rules
 * 22) Constructing a Complex Derivation
 * 23) Theorems
 * 24) Derived Inference Rules
 * 25) Disjunctions in Derivations