universal quantifier

English

Noun

universal quantifier (plural universal quantifiers)

1. (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