universal quantifier

English

English Wikipedia has an article on:

universal quantifier

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. 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 Italian: quantificatore universale m Polish: kwantyfikator ogólny (pl) m Portuguese: quantificador universal m Romanian: cuantificator universal m Russian: ква́нтор всео́бщности m (kvántor vseóbščnosti) Spanish: cuantificador universal m Turkish: evrensel niceleyici Vietnamese: lượng từ với mọi, lượng từ phổ dụng

See also

• existential quantifier
• universal quantification