論理量化子
「論理量化子」の英語
「論理量化子」は英語で logical quantifier と言います。述語論理で全称量化や存在量化を表す専門用語で、プログラミングや自動定理証明の説明にも使われます。
「論理量化子」の英語の使い分け
述語論理で、変数の全称や存在を指定する専門用語です。
「論理量化子」の例文
In predicate logic, a logical quantifier binds variables and determines their scope.
述語論理では、論理量化子は変数を束縛し、その作用範囲を決定する。
コアイメージ
論理量化子は述語論理で変数を束縛する演算的役割を持ち、全称や存在の指定を行う記号
英英
A logical operator that binds variables in formal systems to indicate whether predicates hold universally or for some elements within a domain.
語源
logical quantifierは、logicalとquantifierの複合語で、quantifierは中世ラテン語の量に関する語に由来し数学・論理学で変数の量的扱いを示す術語として成立した。
コラム
- プログラミングや自動定理証明の文脈では論理量化子はループや集合操作に対応することが多く実装ではスコープを明確に扱う必要がある。
「論理量化子」のレベル別の例文
- 中学
A logical quantifier tells us how many objects a statement refers to.
- 高校・英検2級
In predicate logic, a logical quantifier indicates whether a statement applies to all objects or some objects.
- TOEIC・ビジネス
The theorem prover must handle each logical quantifier within its proper scope.
- 日常会話
What does this logical quantifier mean here?
「論理量化子」を英語にするときのよくある間違い
× logical quantity
quantityは数量を指し、論理量化子という専門用語にはquantifierを使います。
× The logical quantifier binds the logic.
○ The logical quantifier binds a variable.
量化子が束縛する対象は通常、論理そのものではなく変数です。