Existential (mathematics)

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:contrastsWith gptkb:Universal_(mathematics)
gptkbp:example There exists an integer x such that x^2 = 4
gptkbp:expressedIn Existence of at least one element satisfying a property
https://www.w3.org/2000/01/rdf-schema#label Existential (mathematics)
gptkbp:relatedTo gptkb:Existential_quantifier
gptkbp:symbol
gptkbp:usedIn gptkb:logic
Model theory
Proof theory
Predicate logic
gptkbp:bfsParent gptkb:Universal_(mathematics)
gptkbp:bfsLayer 6