翻訳と辞書 Words near each other ・ 論理リンク制御 ・ 論理主義 (数学) ・ 論理値 ・ 論理包含 ・ 論理包含演算 ・ 論理史 ・ 論理合成 ・ 論理否定 ・ 論理和 ・ 論理和の導入 ・ 論理和の消去 ・ 論理哲学 ・ 論理哲学論考 ・ 論理回路 ・ 論理型 ・ 論理型プログラミング ・ 論理型言語 ・ 論理変数 ・ 論理学 ・ 論理学の哲学 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 論理和の消去 ： ミニ英和和英辞書 論理和の消去[ろんりわ] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 論 ： [ろん] 　【名詞】 1. (1) argument　2. discussion　3. dispute　4. controversy　5. discourse　6. debate　7. (2) theory　8. doctrine　9. (3) essay　10. treatise　1 1. comment ・ 論理 ： [ろんり] 　【名詞】 1. logic　 ・ 論理和 ： [ろんりわ] 　【名詞】 1. disjunction　2. logical sum ・ 理 ： [り] 　【名詞】 1. reason　 ・ 和 ： [わ] 　【名詞】 1. (1) sum　2. (2) harmony　3. peace　 ・ 消去 ： [しょうきょ] 　 1. (n,vs) elimination　2. erasing　3. dying out　4. melting away 論理和の消去 ： ウィキペディア日本語版 論理和の消去[ろんりわ] 論理和の消去(ろんりわのしょうきょ、)(論理積の除去、選言削除則、$\backslash or$-除去則〔https://proofwiki.org/wiki/Rule_of_Or-Elimination〕〔http://www.cs.gsu.edu/~cscskp/Automata/proofs/node6.html〕は、命題論理における妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明から論理和を削除することができる。もし命題「$P$」から命題「$Q$」が導き出され、かつ命題「$R$」からも命題「$Q$」が導き出されるとき、「$P$もしくは$R$」のいずれかが真である場合に、「$Q$」が真となるという推論規則である。PもしくはRのうち少なくとも一方が正しく、QであるためにはPとRのうちどちらかが正しければよいから、Qは正しい、ということである。例えば、下記の例が挙げられる。 :もし私が屋内にいれば、私は財布を持っている。 :もし私が屋外にいれば、私は財布を持っている。 :私は屋内にいるか、屋外にいるかのどちらかである。 :したがって、私は財布を持っている。 この規則は、下記のように記述することができる。 :$\backslash frac$ ここで、命題「$P\; \backslash to\; Q$」、命題「$R\; \backslash to\; Q$」、命題「$P\; \backslash or\; R$」が証明のなかのどの行に出てきても、その後の行において、 命題「$Q$」を示すことができるものとされている。 == 形式的な記法 == 論理和の削除の推論規則は、シークエントの記法では、 : $(P\; \backslash to\; Q),\; (R\; \backslash to\; Q),\; (P\; \backslash or\; R)\; \backslash vdash\; Q$ と表すことができる。ここで、「$\backslash vdash$」は、ある論理の形式体系において、命題「$Q$」が、「$P\; \backslash to\; Q$」・「$R\; \backslash to\; Q$」・「$P\; \backslash or\; R$」の論理的帰結であることを表す、メタ言語の記号である。 この推論規則はまた、命題論理における真理関数のトートロジーもしくは定理として、 :$(((P\; \backslash to\; Q)\; \backslash and\; (R\; \backslash to\; Q))\; \backslash and\; (P\; \backslash or\; R))\; \backslash to\; Q$ と表される。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「論理和の消去」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.