existential operator Meaning, Definition & Usage

1. noun a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
   existential quantifier.
   

WordNet