existential-quantifier

Nouns

(n) a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true existential operator,

Synonyms

existential operator

Words of close approximity