'existential quantifier' definitions:
Definition of 'existential quantifier'
From: WordNet
noun
A logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true [syn: existential quantifier, existential operator]