English Dictionary

universal quantifier

名詞

(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.

日本語の意味

（論理学）全称記号。すなわち、∀記号を用いて、述語が指定された集合の全ての要素に対して成り立つことを示す記号または概念

In predicate logic, the universal quantifier is used to assert that a property holds for every element of a domain.

述語論理では、全称量化子（∀）はある述語が対象の集合のすべての要素について成り立つことを示すために用いられます。

意味（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.

Some verbal equivalents are for each or for every.

universal quantifiers （ plural ）