Existential Quantifier
nounid
51886·updated May 18, 2026verified
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
MWE
Classifications
Entity Type
Unknown—glossary_import_default_pending_classifier
Sensitivity
unclassified
Information Class
unclassified
Variants
- synonym
- existential operator
- plural
- Existential Quantifiers
- possessive
- Existential Quantifier's
- pluralpossessive
- Existential Quantifiers'
Framework definitions
- §1
- a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Outgoing relationships
No outgoing triples
This term is not the subject of any RDF-style relationship yet.
Incoming relationships
No incoming triples
No other term currently asserts a relationship to this one.