home/glossary/Existential Operator

Existential Operator

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 quantifier
plural
Existential Operators
possessive
Existential Operator's
pluralpossessive
Existential Operators'