推理定律—重言蕴涵式 重要的推理定律 A→(AvB) 附加律 (4∧B)→A 化简律 (4->B)4→B 假言推理 (4→B)∧-B→-4 拒取式 (4ⅤB)入-B→A 析取三段论 (4→>B)∧(B→>C)→(4->C) 假言三段论 (4B)(B>C→(4)C 等价三段论 (A→>B)∧(C→>D)N(4O)→(BND)构造性二难7 推理定律——重言蕴涵式 重要的推理定律 A  (AB) 附加律 (AB)  A 化简律 (A→B)A  B 假言推理 (A→B)B  A 拒取式 (AB)B  A 析取三段论 (A→B)(B→C)  (A→C) 假言三段论 (AB)(BC)  (AC) 等价三段论 (A→B)(C→D)(AC)  (BD) 构造性二难