universal quantifier

About 0.11 uses per million words.

Meaning

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

Similar words

quantifier existential quantifier all-operator abstract universal predicate calculus polytype universe of discourse barcan formula propositional constant quant