existential operator

noun (n)

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

   Sinonim: existential quantifier

   Sumber: wordnet30