Fr.: quantificateur universel
A symbol of → predicate logic which expresses that the statements within its scope are → true for everything, or every instance of a specific thing. The symbol ∀ "for all" is used as the universal quantifier. Universal quantifiers are normally used in logic in conjunction with predicate symbols, which say something about a variable or constant, in this case the variable being quantified.