Formal Logic/Predicate Logic

← Sentential Logic

↑ Formal Logic

End

Predicate Logic

Contents

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