existential quantifier

noun

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. Verbal equivalents include "there exists" and "there is".

Similar
existential operator
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounexistential quantifier (plural existential quantifiers)

plural existential quantifiers

  1. human sciencesThe 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. Verbal equivalents include "there exists" and "there is".

Synonyms & antonyms

nouna logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

Similar
existential operator
Broader
quantifierlogical quantifier

Synonym sets from Open English WordNet, CC BY 4.0.

Translations

Czech existenční kvantifikátor
  • existenční kvantifikátoroperator used in predicate calculus
Finnish eksistenssikvanttori, olemassaolokvanttori
  • eksistenssikvanttorioperator used in predicate calculus
  • olemassaolokvanttorioperator used in predicate calculus
French quantificateur existentiel
  • quantificateur existentieloperator used in predicate calculus
German Existenzquantor, Partikularquantor
  • Existenzquantoroperator used in predicate calculus
  • Partikularquantoroperator used in predicate calculus
Hungarian egzisztenciális kvantor
  • egzisztenciális kvantoroperator used in predicate calculus
Icelandic tilvistarmagnari, tilvistarvirki
  • tilvistarmagnarioperator used in predicate calculus
  • tilvistarvirkioperator used in predicate calculus
Italian quantificatore esistenziale
  • quantificatore esistenzialeoperator used in predicate calculus
Polish kwantyfikator egzystencjalny, kwantyfikator mały
  • kwantyfikator egzystencjalnyoperator used in predicate calculus
  • kwantyfikator małyoperator used in predicate calculus
  • kwantyfikator szczegółowyoperator used in predicate calculus
Portuguese quantificador existencial
  • quantificador existencialoperator used in predicate calculus
Russian ква́нтор существова́ния
  • ква́нтор существова́ния (kvántor suščestvovánija)operator used in predicate calculus
Spanish cuantificador existencial
  • cuantificador existencialoperator used in predicate calculus
Turkish varlıksal niceleyici
  • varlıksal niceleyicioperator used in predicate calculus
Cite this entry
APA

existential quantifier. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/existential%20quantifier

MLA

“existential quantifier.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/existential%20quantifier. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “existential quantifier,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/existential%20quantifier.

Source: existential quantifier on Wiktionary, CC BY-SA 4.0.