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. Verbal equivalents include "for each" and "for every".
Synonym: all-operator

Holonyms

predicate calculus

Translations

operator

Czech: univerzální kvantifikátor m
Finnish: universaalikvanttori, kaikkikvanttori
French: quantificateur universel (fr)
German: Allquantor (de) m, Universalquantor m
Icelandic: allsherjarmagnari m, allsherjarvirki m
Polish: kwantyfikator ogólny (pl) m
Russian: ква́нтор всео́бщности m (kvántor vseóbščnosti)
Vietnamese: lượng từ với mọi, lượng từ phổ dụng

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.