universal quantifier

「universal quantifier」の例文例文

In predicate logic, the universal quantifier asserts that a formula holds for every element of the domain.

述語論理で、全称量化子は式が定義域のすべての要素について成立すると主張する。

「universal quantifier」のコアイメージコアイメージ

記号∀で表され、任意の要素すべてに対して命題が成立することを示す全称量化子

「universal quantifier」の英英英英

The logical quantifier, denoted by the symbol ∀, that states a predicate holds for every element in the domain of discourse.

「universal quantifier」の語源語源

universal quantifierは、universalが示す全体性とquantifierが示す量化の意が組み合わさって生じた語で、論理記号∀として対象全体を量化する役割を持つ。

「universal quantifier」のコラムコラム

• 形式表記では∀x P(x)のように書き、変数xのすべてについて述語Pが成り立つことを明示的に示すために使われる。

単語を報告