existential quantifier en · NOUN
Meanings
- 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".
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| existential quantifiers | Number=Plur | lexicographic |
Holonyms
Relateds
Translations (17)
pl kwantyfikator mały (operator used in predicate calculus) · cs existenční kvantifikátor (operator used in predicate calculus) · it quantificatore esistenziale (operator used in predicate calculus) · es cuantificador existencial (operator used in predicate calculus) · fr quantificateur existentiel (operator used in predicate calculus) · de Partikularquantor (operator used in predicate calculus) · pl kwantyfikator egzystencjalny (operator used in predicate calculus) · is tilvistarvirki (operator used in predicate calculus) · pt quantificador existencial (operator used in predicate calculus) · tr varlıksal niceleyici (operator used in predicate calculus) · fi olemassaolokvanttori (operator used in predicate calculus) · is tilvistarmagnari (operator used in predicate calculus) · pl kwantyfikator szczegółowy (operator used in predicate calculus) · hu egzisztenciális kvantor (operator used in predicate calculus) · de Existenzquantor (operator used in predicate calculus) · ru ква́нтор существова́ния (operator used in predicate calculus) · fi eksistenssikvanttori (operator used in predicate calculus)