Formal Logic/Sentential Logic

← Preliminaries ↑ Formal Logic Predicate Logic →


Sentential Logic


Complete Sentential Logic in a Single Module    (Very large page, loads very slowly)   


Contents

  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
This article is issued from Wikibooks. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.