universal quantifier

名詞

日本語の意味

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

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

意味（1）

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

universal quantifiers

（ plural ）