existential operator

「 existential operator」の意味 意味

  • 名 存在量化子

「 existential operator」の例文 例文

In predicate logic the existential operator is written as ∃ before a variable.

述語論理ではその存在量化子は変数の前に∃と書かれる。

「 existential operator」のコアイメージ コアイメージ

ある性質を満たす対象が少なくとも一ついることを宣言する論理上の量化子である存在量化子

「 existential operator」の英英 英英

A logical quantifier indicating that there exists at least one object in the domain for which a specified predicate holds; conventionally denoted by the symbol ∃.

「 existential operator」の語源 語源

existential operatorは、存在を表す形容詞 existential と演算を行う operator が結びついた語で、論理表現として「存在すること」を示すために用いられる

「 existential operator」のコラム コラム

  • 存在量化子∃は「ある」を表し全称量化子∀は「すべて」を表すため、量化子の種類により述語の意味が根本的に変わることが論理的帰結の理解に重要である

おすすめの単語帳

1 / 1
QRコード