existential operator

「existential operator」の発音・読み方

カタカナ読み（目安）エグジステンシャル オペレーター

「existential operator」の意味

「existential operator」の例文

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

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

「existential operator」の複数形

複数形existential operators

「existential operator」のレベル別の例文

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

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

「existential operator」のよく使う型

「existential operator」とよく一緒に使う語

「existential operator」のよくある間違い

  • ✕ Existential operator are used in formal logic.

    ○ Existential operators are used in formal logic.

    複数形の主語 existential operators には、複数形の動詞 are を使います。

  • ✕ existentialism operator

    ○ existential operator

    existentialism は「実存主義」を指す別の語で、論理学の存在量化子には使いません。

「 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」のコラム コラム

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

「existential operator」のよくある質問

Q. existential operatorの複数形は？
複数形は existential operators です。operator は可算名詞なので、単数では an や the などを伴うのが一般的です。
Q. existential operatorはどの分野で使う？
主に数理論理学、形式仕様、コンピューターサイエンスなどで使われる専門用語です。日常英語で使う語ではありません。
Q. existential operatorとexistential quantifierは同じ？
論理学では同じ記号「∃」や同じ概念を指して使われることがあります。ただし、existential quantifier のほうが一般的で標準的な用語です。