Category:Definitions/Predicate Logic
Jump to navigation
Jump to 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:
Subcategories
This category has the following 16 subcategories, out of 16 total.
B
- Definitions/Bound Variables (7 P)
C
D
E
F
- Definitions/Free Variables (4 P)
L
O
- Definitions/Open Statements (3 P)
P
- Definitions/Proper Names (3 P)
Q
U
Pages in category "Definitions/Predicate Logic"
The following 112 pages are in this category, out of 112 total.
A
- Definition:Absolutely Existential Statement
- Definition:Alphabet of Predicate Logic
- Definition:Alphabetic Substitution
- Definition:Arbitrary Name
- Definition:Assignment for Formula
- Definition:Assignment for Structure
- Definition:Assignment for Structure/Formula
- Definition:Assignment for Structure/Term
- Definition:Assignment for Term
- Definition:Atomic WFF of Predicate Logic
B
C
E
F
- Definition:First Order Logic
- Definition:First Order Logic with Identity
- Definition:First-Order Formula
- Definition:First-Order Language
- Definition:First-Order Logic
- Definition:First-Order Structure
- Definition:Formal Grammar of Predicate Logic
- Definition:Formal Semantics of Structures for Predicate Logic
- Definition:Free Occurrence
- Definition:Free Variable (Predicate Logic)
- Definition:Free Variable/Predicate Logic
- Definition:Freely Substitutable
- Definition:Function Symbol
G
- Definition:Gentzen Proof System
- Definition:Gentzen Proof System/Instance 1
- Definition:Gentzen Proof System/Instance 1/Alpha-Rule
- Definition:Gentzen Proof System/Instance 1/Alpha-Rule/Notation
- Definition:Gentzen Proof System/Instance 1/Beta-Rule
- Definition:Gentzen Proof System/Instance 1/Beta-Rule/Notation
H
L
P
- Definition:Plain Sentence
- Definition:Plain WFF
- Definition:Predicate
- Definition:Predicate Calculus
- Definition:Predicate Logic
- Definition:Predicate Logic/Also known as
- Definition:Predicate Symbol
- Definition:PredLog
- Definition:Proper Name
- Definition:Property
- Definition:Propositional Function
- Definition:Propositional Function/Examples
- Definition:Propositional Function/Satisfaction
R
- Definition:Relative Semantic Equivalence
- Definition:Relative Semantic Equivalence of Terms
- Definition:Relative Semantic Equivalence of Well-Formed Formulas
- Definition:Relative Semantic Equivalence/Term
- Definition:Relative Semantic Equivalence/WFF
- Definition:Restricted Existential Quantifier
- Definition:Restricted Universal Quantifier
S
- Definition:Scope of Quantifier
- Definition:Semantic Consequence (Predicate Logic)
- Definition:Semantic Consequence/Predicate Logic
- Definition:Semantic Equivalence/Predicate Logic/Definition 1
- Definition:Semantic Equivalence/Predicate Logic/Definition 2
- Definition:Sentence
- Definition:Signature for Predicate Logic
- Definition:Singular Statement
- Definition:Singular Statement/Designatory Function
- Definition:Solution Set
- Definition:Square of Opposition
- Definition:Structure for Predicate Logic
- Definition:Structure for Predicate Logic/Formal Semantics
- Definition:Substitution for Free Occurrence
T
U
V
- Definition:Valid Formula (Predicate Logic)
- Definition:Value of Formula under Assignment
- Definition:Value of Formula under Assignment/Sentence
- Definition:Value of Sentence in Structure for Predicate Logic
- Definition:Value of Term under Assignment
- Definition:Value of Variable
- Definition:Variable/Predicate Logic
- Definition:Variable/Value