EXISTENTIAL OPERATOR

WordNet Dictionary

	Definition:	[n] a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

	Websites:

	Synonyms:	existential quantifier

	See Also:	logical quantifier, quantifier