existential quantifier

English

Noun

existential quantifier (plural existential quantifiers)Category:English lemmas#EXISTENTIALQUANTIFIERCategory:English nouns#EXISTENTIALQUANTIFIERCategory:English countable nouns#EXISTENTIALQUANTIFIERCategory:English multiword terms#EXISTENTIALQUANTIFIERCategory:English entries with incorrect language header#EXISTENTIALQUANTIFIERCategory:Pages with entries#EXISTENTIAL%20QUANTIFIERCategory:Pages with 1 entry#EXISTENTIAL%20QUANTIFIER

  1. (logicCategory:en:Logic#EXISTENTIALQUANTIFIER) 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

Translations

Category:English countable nouns Category:English lemmas Category:English multiword terms Category:English nouns Category:Entries with translation boxes Category:Pages with 1 entry Category:Pages with entries Category:Terms with Czech translations Category:Terms with Finnish translations Category:Terms with French translations Category:Terms with German translations Category:Terms with Hungarian translations Category:Terms with Icelandic translations Category:Terms with Italian translations Category:Terms with Portuguese translations Category:Terms with Russian translations Category:Terms with Spanish translations Category:Terms with Turkish translations Category:en:Logic