Definition:Predicate Logic

From ProofWiki
Jump to navigation Jump to search


Predicate logic is a sub-branch of symbolic logic.

It is an extension of propositional logic in which the internal structure of simple statements is analyzed.

Thus in predicate logic, simple statements are no longer atomic.

The atoms of predicate logic are subjects and predicates of simple statements.

There are various formal systems allowing for rigid determination of the theorems of predicate logic:

Also known as

Predicate logic is sometimes referred to as first-order logic or first-order language, sometimes unhyphenated as first order.

Some sources refer to it as predicate calculus.

Similarly with propositional logic being referred to as PropLog, predicate logic is often abbreviated to PredLog.

Also see

  • Results about predicate logic can be found here.