Formal Logic/Predicate Logic

← Sentential Logic ↑ Formal Logic End
Category:Book:Formal Logic#Predicate%20Logic%20


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
Category:Book:Formal Logic