「Allquantor」のコアイメージコアイメージ
ある集合の中の一つ一つを、同じ条件のもとでまとめて扱う枠組み
「Allquantor」のドイツ語での定義ドイツ語での定義
Ein Allquantor bezeichnet einen Ausdruck der Logik, mit dem eine Aussage auf alle Elemente einer Menge bezogen wird.
「Allquantor」の語源語源
Allquantorは、all「すべての」とQuantor「量化を表す語」から成る複合語
「Allquantor」のコラムコラム
- Allquantorは、数学の証明で「この条件は一部だけでなく全要素に成り立つ」と示す場面に現れる
「Allquantor」は英語では
- 「全称量化子」 → universal quantifier和英辞典で見る