Wikibooks

Template:Formal Logic/Predicate Logic TOC

(Redirected from Template:Formal Logic:Predicate Logic TOC)

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
Retrieved from "https://en.wikibooks.org/w/index.php?title=Template:Formal_Logic/Predicate_Logic_TOC&oldid=1662032"