WordNet: existential operator, existential quantifier

Sanatista
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true



existential operator


existential quantifier