universal quantifier

English

Wikipedia

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".

Translations

operator

Czech: univerzální kvantifikátor (cs) m. French: quantificateur universel (fr) Icelandic: allsherjarmagnari (is) m., allsherjarvirki (is) m.

Russian: ква́нтор всео́бщности (ru) (kvántor vseóbščnosti) m.

See also

• existential quantifier
• universal quantification