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.

   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)
• (deprecated template usage) {{trans-mid}}
• German: Allquantor (de) m, Universalquantor m
• Icelandic: allsherjarmagnari m, allsherjarvirki m
• Polish: kwantyfikator ogólny (pl) m
• Russian: ква́нтор всео́бщности m (kvántor vseóbščnosti)

See also

• existential quantifier
• universal quantification