existential operator
Noun
Meaning
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Source: WordNetNoun
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
Source: WordNet