Formal Logic/Predicate Logic

← Sentential Logic ↑ Formal Logic End


Predicate Logic


Contents

  1.     
    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
This article is issued from Wikibooks. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.