First-order predicate calculus (or first-order logic, predicate-logic) goes beyond describing how propositions relate to each other, which is the subject of propositional calculus by examining how predicates relate to the subjects they specify.

The calculus of first order logic analyzes sentences like the following:

  • "Objects exists, which have the attribute P."
  • "All X have the attribute Y."

In order to analyze sentences and the predicates they contain, we "formalize" the sentences so that they look like this:

  • ∃x ( P(x) )
  • ∀x ( P(x) )

24px-BaustelleThe article "First-order predicate calculus" is still being worked on.

Some information has been entered, but the article is far from being complete or covering the subject adequately. If you have some knowledge on 'First-order predicate calculus', why don't you continue the work?