Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Logical quantifier
|
| gptkbp:alsoKnownAs |
Existential quantification
Existentially quantified statement |
| gptkbp:contrastsWith |
Universal quantifier
|
| gptkbp:expressedIn |
Existence of at least one element in a domain
|
| gptkbp:field |
gptkb:Linguistics
gptkb:logic gptkb:philosophy |
| gptkbp:firstAppearance |
Late 19th century
|
| https://www.w3.org/2000/01/rdf-schema#label |
Existential quantifier
|
| gptkbp:introduced |
gptkb:Giuseppe_Peano
|
| gptkbp:meaning |
There exists at least one
|
| gptkbp:notation |
(∃x)P(x)
∃x |
| gptkbp:relatedConcept |
Quantification
Universal quantifier Logical connective |
| gptkbp:symbol |
∃
|
| gptkbp:usedIn |
gptkb:Set_theory
Predicate logic Formal semantics |
| gptkbp:bfsParent |
gptkb:Existential_(mathematics)
gptkb:Quantified_Boolean_Formula |
| gptkbp:bfsLayer |
7
|