Disjunction eliminationの意味・使い方・読み方 | Weblio英和辞書

意味

Weblio英和対訳辞書

Disjunction elimination

論理和の消去

論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、 ∨ {\displaystyle \lor } -除去則は、命題論理における妥当性のある推論規則のひとつである。

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

調べた例文を記録して、効率よく覚えましょう

Weblio会員無料で登録できます

履歴機能過去に調べた単語を確認できる

語彙力診断診断回数が4回に増加

マイ単語帳便利な学習機能付き

マイ例文帳文章で意味を理解できる

Weblio会員登録(無料)はこちらから▶

ウィキペディア英語版

出典：Wikipedia

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.

閲覧履歴

検索結果に戻る

全履歴クリア

・Disjunction elimination
・quadratic performance control
・Electrostatic levitation
・simultaneous fabrication
・Electrolytic plating
・effemimania
・Oarai
・Finneland
・prophetante
・apple seed

単語帳に追加

Disjunction eliminationのページの著作権

Wikipedia
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というライセンスの下で提供されています。