Existential-quantifier Definition

noun

(logic) 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".
Wiktionary
Synonyms:
  • existential operator

Other Word Forms of Existential-quantifier

Noun

Singular:
existential-quantifier
Plural:
existential quantifiers

Related Articles

Find Similar Words

Find similar words to existential-quantifier using the buttons below.

Words Starting With

EEXEXI

Words Ending With

RERIER

Words Starting With E and Ending With R

Starts With E & Ends With RStarts With EX & Ends With RStarts With E & Ends With ER

Word Length