選言三段論法

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