BabelNet

bn:00079145n

Noun Concept

Categories: Logic symbols, Articles with short description, Logical expressions, Quantifier (logic)

universal quantifier

A logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things WordNet 3.0

Definitions

Examples

Relations

Sources

A logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things WordNet 3.0 & Open English WordNet

The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Wiktionary

Operator. Wiktionary (translation)

Some verbal equivalents are "for each" or "for every". Wiktionary

IS A

quantifier

WordNet 3.0 & Open English WordNet

universal quantifier

Wiktionary

universal quantifier

Wikipedia Redirections

universal quantifier