存在量化子
「存在量化子」の英語
「存在量化子」は英語で existential quantifier と言います。少なくとも一つの対象が条件を満たすことを表す、論理学で標準的な表現です。existential operator は、存在量化子を演算子として捉える言い方です。
「存在量化子」の英語の使い分け
論理学で最も標準的な「存在量化子」の表現です。
存在量化子を論理演算子として説明するときに使われる表現です。existential quantifierより一般的ではありません。
例文
コアイメージ
ある性質を満たす対象が少なくとも一ついることを宣言する論理上の量化子である存在量化子
英英
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 が結びついた語で、論理表現として「存在すること」を示すために用いられる
コラム
- 存在量化子∃は「ある」を表し全称量化子∀は「すべて」を表すため、量化子の種類により述語の意味が根本的に変わることが論理的帰結の理解に重要である
例文
コアイメージ
存在量化子を、記号∃で表される「存在する」を主張する演算として把握する
英英
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（数量や範囲を示す語）が結合してできた語で、論理で存在を量的に表す役割を示す。
コラム
- 論理式では∃の後に変数を置きその有効範囲（スコープ）は式の構造で決まり括弧や量化位置が式の意味に影響する
「存在量化子」のレベル別の例文
- 中学
An existential quantifier tells us that at least one thing has a certain property.
- 高校・英検2級
In logic, an existential quantifier asserts that at least one object has a property.
- TOEIC・ビジネス
The parser recognizes the existential operator in submitted logical expressions.
- 日常会話
That formula needs an existential operator, not a universal one.
「存在量化子」を英語にするときのよくある間違い
× existence quantifier
「存在の」という意味でも、論理学ではexistenceではなくexistentialを使うのが一般的です。
× all quantifier
「全称量化子」は通常、all quantifierではなくuniversal quantifierと言います。