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 7 subcategories, out of 7 total.
Pages in category "Definitions/Predicate Logic"
The following 109 pages are in this category, out of 109 total.
A
- Definition:Absolutely Existential Statement
- Definition:Alphabet of Predicate Logic
- Definition:Alphabetic Substitution
- Definition:Apparent Variable
- 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 Structure
- Definition:Formal Grammar of Predicate Logic
- Definition:Formal Semantics of Structures for Predicate Logic
- Definition:Free Occurrence
- 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
R
- Definition:Relation Symbol
- 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:Singular Statement/Individuating Description
- 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