Template:Formal Logic/Predicate Logic TOC

From Wikibooks, open books for an open world
Jump to: navigation, search

For book Formal Logic.

  1. Sentential 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