An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian

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.

→ universal; → quantifier.