existential quantifier

English

English Wikipedia has an article on:

existential quantifier

Wikipedia

Noun

existential quantifier (plural existential quantifiers)

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

Holonyms

• predicate calculus

Related terms

• universal quantifier

Translations

operator used in predicate calculus

Czech: existenční kvantifikátor m Finnish: eksistenssikvanttori, olemassaolokvanttori French: quantificateur existentiel (fr) German: Existenzquantor (de) m, Partikularquantor m (uncommon) Hungarian: egzisztenciális kvantor (hu) Icelandic: tilvistarmagnari m, tilvistarvirki m Italian: quantificatore esistenziale m Portuguese: quantificador existencial m Russian: ква́нтор существова́ния m (kvántor suščestvovánija) Spanish: cuantificador existencial m Turkish: varlıksal niceleyici