home/glossary/Existential Quantifier

Existential Quantifier

nounverified·updated May 18, 2026

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

Unknownauthoritativeglossary_import_default_pending_classifier
?unassignedlast reviewed

Sensitivity

unclassified

Information Class

unclassified

Variants

synonym
existential operator
plural
Existential Quantifiers
possessive
Existential Quantifier's
pluralpossessive
Existential Quantifiers'