existential operator

	Sponsored Links:
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
	Synonyms:		existential quantifier
	See Also:		logical quantifier, quantifier