existential quantifier

English

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)
• (deprecated template usage) {{trans-mid}}
• German: Existenzquantor (de) m
• Hungarian: egzisztenciális kvantor (hu)
• Icelandic: tilvistarmagnari m, tilvistarvirki m
• Russian: ква́нтор существова́ния m (kvántor suščestvovánija)