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

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 論理和の導入 ： ウィキペディア日本語版 論理和の導入 論理和の導入(ろんりわのどうにゅう、)(連言導入則、$\backslash or$-導入則)〔Hurley〕〔Moore and Parker〕〔Copi and Cohen〕は、命題論理の妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明の中に新たに論理和(「$\backslash or$」)を加えることができる。もし「P」という命題が真であれば、「PまたはQ」という命題もまた真である、という推論規則である。例えば、「ソクラテスは人間である」という命題が真であれば、「ソクラテスが人間であるか、または豚が英仏海峡上空を編隊飛行している」という命題は真である。 この規則は、下記のように記述することができる。 :$\backslash frac$ ここで、命題「$P$」が証明のなかのどの行に出てきても、その後の行に「$P\; \backslash or\; Q$」を示すことができるものとされている。 論理和の導入の規則は、「矛盾からはあらゆることが導かれる」という爆発律を認めない矛盾許容論理の立場においては、他の論理的規則との組み合わせによっては認められないとする議論もある（矛盾許容論理におけるトレードオフを参照）。 == 形式的な記法 == 論理和の導入の推論規則は、シークエントの記法では、次のように表すことができる。 : $P\; \backslash vdash\; (P\; \backslash or\; Q)$ ここでは、「$\backslash vdash$」は、ある論理の形式体系において、命題「$P\; \backslash or\; Q$」は命題「$P$」の論理的帰結であることを示す、メタ言語の記号である。 この推論規則はまた、命題論理における真理関数のトートロジーもしくは定理として、 :$P\; \backslash to\; (P\; \backslash or\; Q)$ と表される。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「論理和の導入」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.