Go backward to Example Go up to Top Go forward to Terms

Predicate Logic

Extension of propositional logic by

• Terms
  • Syntactic phrases denoting objects.
  • Variables.
  • Function applications.
• Atomic formulas
  • Formulas using terms to express facts about particular objects of a domain.
• Quantified formulas
  • Formulas expressing facts about all objects of a domain.