選言三段論法

暇つぶしに見て

選言三段論法

命題論理定理シリーズやっていきます。今回は選言的三段論法。 (A∨B)∧¬A→B(¬A∨B )∧A→A 選言的三段論法 定義 選言三段論法(せんげんさんだんろんぽう、英: Disjunctive syllogism)とは、論理学において、「...