VariousWords beta
Definitions:
Noun
existential quantifier
existential operator
Definition: a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true