Formal Logic/Predicate Logic

From Wikibooks, open books for an open world
< Formal Logic
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
← Sentential Logic ↑ Formal Logic End


Predicate Logic


Contents

  1. Predicate Logic     edit TOC
    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=Formal_Logic/Predicate_Logic&oldid=349845"