Category:Predicate Logic
Jump to navigation
Jump to search
This category contains results about Predicate Logic.
Definitions specific to this category can be found in Definitions/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:
Subcategories
This category has the following 11 subcategories, out of 11 total.
B
- Bound Variables (5 P)
C
D
- De Morgan's Laws (Logic) (50 P)
E
- Examples of Open Statements (2 P)
- Examples of Predicates (2 P)
F
- Free Variables (4 P)
L
- Language of Predicate Logic (1 P)
M
Q
Pages in category "Predicate Logic"
The following 28 pages are in this category, out of 28 total.