Template:Formal Logic/Sentential Logic TOC

For book Formal Logic.

1. Sentential Logic
   1. Informal Overview
      1. Goals
      2. The Sentential Language
   2. Syntax
      1. Formal Syntax
      2. Informal Conventions
   3. Semantics
      1. Formal Semantics
      2. Truth Tables
      3. Validity
      4. Expressibility
      5. Properties of Sentential Connectives
      6. Substitution and Interchange
   4. Natural Language Translations
      1. Translations
   5. Derivations
      1. Derivations
      2. Inference Rules
      3. Constructing a Simple Derivation
      4. Subderivations and Discharge Rules
      5. Constructing a Complex Derivation
      6. Theorems
      7. Derived Inference Rules
      8. Disjunctions in Derivations