EXISTENTIALQUANTIFIER

existential quantifier

Noun

  1. The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set.
    Some verbal equivalents are "there exists" or "there is".


The above text is a snippet from Wiktionary: existential quantifier
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!