Category:Definitions/Predicate Logic

From ProofWiki
Jump to: navigation, search

This category contains definitions related to Predicate Logic.
Related results can be found in Category:Predicate Logic.

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:


This category has the following 3 subcategories, out of 3 total.

Pages in category "Definitions/Predicate Logic"

The following 108 pages are in this category, out of 108 total.