existential operator

Từ điển Oxford Learners Wordfinder Dictionary

noun

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
• Syn:
existential quantifier
• Hypernyms:
quantifier, logical quantifier