Synonyms/Hypernyms (Ordered by Estimated Frequency) of noun existential_quantifier

1 sense of existential quantifier

Sense 1
existential quantifier, existential operator -- (a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true)
       => quantifier, logical quantifier -- ((logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition)