全称量化子
「全称量化子」の英語
「全称量化子」は英語で 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が示す量化の意が組み合わさって生じた語で、論理記号∀として対象全体を量化する役割を持つ。
コラム
- 形式表記では∀x P(x)のように書き、変数xのすべてについて述語Pが成り立つことを明示的に示すために使われる。
「全称量化子」のレベル別の例文
- 中学
The universal quantifier says that a statement is true for every number in a set.
全称量化子は、集合内のすべての数についてある命題が真であることを示します。
- 高校・英検2級
A universal quantifier states that a property holds for every object.
- TOEIC・ビジネス
The report uses a universal quantifier to define the rule formally.
- 日常会話
What does the universal quantifier mean here?
ここでの全称量化子はどういう意味ですか。
「全称量化子」を英語にするときのよくある間違い
× all quantifier
全称量化子は universal quantifier と言うのが一般的です。
× The universal quantifier means at least one element.
○ The existential quantifier means at least one element.
「少なくとも一つ」は全称ではなく存在を表します。