選言三段論法

股関節おじさんの勉強部屋

選言三段論法

命題論理定理シリーズやっていきます。今回は選言的三段論法。 (A∨B)∧¬A→B(¬A∨B )∧A→A 選言的三段論法 定義 選言三段論法(せんげんさんだんろんぽう、英: Disjunctive syllogism...
タイトルとURLをコピーしました