< Formal Logic
↑ Formal Logic


Detailed Table of Contents


Formal Logic

  1. Preliminaries    
    1. Sets
  2. 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
  3. Predicate Logic    
    1. Informal Overview
      1. Goals
      2. The Predicate Language
    2. Syntax
      1. Formal Syntax
      2. Free and Bound Variables
      3. Informal Conventions
    3. Semantics
      1. Models
      2. Satisfaction
      3. Truth
    4. Natural Language Translations
    5. Derivations
  4. Identity Theory
    1. Syntax
    2. Semantics
    3. Natural Language Translations
    4. Derivations
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.