Formal Logic/Predicate Logic

From Wikibooks, the open-content textbooks collection

← 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