universal quantifier

English

Noun

universal quantifier (plural universal quantifiers)

(logic) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
Some verbal equivalents are "for each" or "for every".

Holonyms

predicate calculus

Translations

operator

Czech: univerzální kvantifikátor m
Finnish: universaalikvanttori, kaikkikvanttori
French: quantificateur universel (fr)

German: Allquantor (de) m
Icelandic: allsherjarmagnari m, allsherjarvirki m
Russian: ква́нтор всео́бщности m (kvántor vseóbščnosti)

See also

existential quantifier
universal quantification

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