existential quantifier

English

Noun

existential quantifier (plural existential quantifiers)

(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

Hungarian: egzisztenciális kvantor
Icelandic: tilvistarmagnari m, tilvistarvirki m
Russian: ква́нтор существова́ния m (kvántor suščestvovánija)

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.