predicate logic
E883489
Predicate logic is a formal system in mathematical logic that extends propositional logic by using quantifiers and predicates to express statements about objects and their properties or relations.
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
branch of mathematical logic
ⓘ
formal system ⓘ logical system ⓘ |
| allows |
expression of existential statements
ⓘ
expression of general statements ⓘ expression of universal statements ⓘ |
| developedBy |
Alfred North Whitehead
NERFINISHED
ⓘ
Bertrand Russell NERFINISHED ⓘ Charles Sanders Peirce NERFINISHED ⓘ Giuseppe Peano NERFINISHED ⓘ Gottlob Frege NERFINISHED ⓘ |
| extends | propositional logic ⓘ |
| fieldOfStudy | mathematical logic ⓘ |
| generalizes | truth-functional logic ⓘ |
| hasComponent |
model theory
ⓘ
proof theory ⓘ semantics ⓘ syntax ⓘ |
| hasGoal |
formalization of mathematical reasoning
ⓘ
precise representation of statements about objects ⓘ |
| hasProperty |
Löwenheim–Skolem property for first-order logic
ⓘ
compactness for first-order logic ⓘ complete proof system for first-order logic ⓘ recursively enumerable set of theorems for first-order logic ⓘ |
| includes |
first-order logic
ⓘ
higher-order logic ⓘ many-sorted logic ⓘ monadic predicate logic ⓘ polyadic predicate logic ⓘ |
| introducedInCentury | 19th century ⓘ |
| isFoundationFor |
automated theorem proving
ⓘ
axiomatic set theory ⓘ formal arithmetic ⓘ model theory ⓘ |
| isUsedIn |
artificial intelligence
ⓘ
computer science ⓘ formal verification ⓘ linguistics ⓘ philosophy ⓘ |
| studies |
properties of objects
ⓘ
relations between objects ⓘ |
| uses |
predicates
ⓘ
quantifiers ⓘ |
| usesSymbol |
equality symbol
ⓘ
function symbols ⓘ logical connectives ⓘ predicate symbols ⓘ variables ⓘ ∀ ⓘ ∃ ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.