1. 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]

WordNet (r) 3.0 (2006):

existential operator n 1: 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]