| 意味 |
Disjunction eliminationとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、 ∨ {\displaystyle \lor } -除去則は、命題論理における妥当性のある推論規則のひとつである。
ウィキペディア英語版での「Disjunction elimination」の意味 |
Disjunction elimination
出典:『Wikipedia』 (2010/11/14 18:15 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
In propositional logic disjunction elimination is the inference that, if "A or B" is true, and A entails C, and B entails C, then we may justifiably infer C. The reasoning is simple: since at least one of the statements A and B is true, and since either of them would be sufficient to entail C, C is certainly true.
1
論理和の消去
英和対訳
|
| 意味 |
Disjunction eliminationのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのDisjunction elimination (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
閲覧履歴
 | 「Disjunction elimination」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
