|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 論 : [ろん] 【名詞】 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) introduction 2. bringing in 3. leading in ・ 入 : [にゅう] 【名詞】 1. go in
論理和の導入(ろんりわのどうにゅう、)(連言導入則、-導入則)〔Hurley〕〔Moore and Parker〕〔Copi and Cohen〕は、命題論理の妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明の中に新たに論理和(「」)を加えることができる。もし「P」という命題が真であれば、「PまたはQ」という命題もまた真である、という推論規則である。例えば、「ソクラテスは人間である」という命題が真であれば、「ソクラテスが人間であるか、または豚が英仏海峡上空を編隊飛行している」という命題は真である。 この規則は、下記のように記述することができる。 : ここで、命題「」が証明のなかのどの行に出てきても、その後の行に「」を示すことができるものとされている。 論理和の導入の規則は、「矛盾からはあらゆることが導かれる」という爆発律を認めない矛盾許容論理の立場においては、他の論理的規則との組み合わせによっては認められないとする議論もある(矛盾許容論理におけるトレードオフを参照)。 == 形式的な記法 == 論理和の導入の推論規則は、シークエントの記法では、次のように表すことができる。 : ここでは、「」は、ある論理の形式体系において、命題「」は命題「」の論理的帰結であることを示す、メタ言語の記号である。 この推論規則はまた、命題論理における真理関数のトートロジーもしくは定理として、 : と表される。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「論理和の導入」の詳細全文を読む スポンサード リンク
|