existential quantifier(n = noun.communication) existential operator - a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true;
is a kind of logical quantifier, quantifier

existential, existential operator, existential philosophy, logical quantifier, quantifier, universal quantifier