存在シンボル

「存在シンボル」の英語

「存在シンボル」は英語で existential quantifier と言います。論理学で「存在するものがある」と表す量化子で、記号そのものは ∃ と書きます。

「存在シンボル」の英語の使い分け

existential quantifier
数理論理学で、少なくとも一つ存在することを表す専門用語です。
An existential quantifier states that at least one object has a property.
存在量化子は、少なくとも一つの対象がある性質を持つことを表します。

「存在シンボル」の例文

In first-order logic the symbol ∃ denotes an existential quantifier.

一階述語論理では記号∃は存在量化子を表す。

コアイメージ

存在量化子を、記号∃で表される「存在する」を主張する演算として把握する

英英

A symbol or operator, usually written as ∃, indicating that there exists some value of a variable for which the formula holds.

語源

existential quantifierは、existential（存在に関する）とquantifier（数量や範囲を示す語）が結合してできた語で、論理で存在を量的に表す役割を示す。

コラム

論理式では∃の後に変数を置きその有効範囲（スコープ）は式の構造で決まり括弧や量化位置が式の意味に影響する

「存在シンボル」のレベル別の例文

中学
In logic, ∃ means that something exists.

論理学では、∃は何かが存在することを意味します。
高校・英検2級
The existential quantifier claims that at least one solution exists.

存在量化子は、少なくとも一つ解が存在すると主張します。
TOEIC・ビジネス
The software specification uses an existential quantifier to define when a feature is available.

そのソフトウェア仕様書では、機能を利用できる条件を定義するために存在量化子を使っています。
日常会話
What does this existential quantifier mean?

この存在量化子はどういう意味ですか。

「存在シンボル」を英語にするときのよくある間違い

× existential symbol

○ existential quantifier

論理学で量化子の名称として一般的なのは existential quantifier です。∃という記号自体を指す場合は existential quantifier symbol とも言えます。

「存在シンボル」の英語についてよくある質問

Q. 「存在シンボル」を英語で一言で言うと？

existential quantifier が一般的です。記号そのものは ∃ と表します。

Q. existential quantifier と ∃ の違いは？

existential quantifier は概念や演算の名称で、∃はそれを表す記号です。

Q. 「存在シンボル」の数理論理学での言い方は？

existential quantifier と言います。日本語では「存在量化子」が一般的です。

「存在シンボル」と関連する日本語の英語

ほかの日本語から英語を引く