推理规则(续) (9)析取三段论规则(1)破坏性二难推理 AvB 规则 -B A→>B C→>D (10)构造性二难推理 -By-D 规则 ,4v-C A→B (12)合取引入规则 C→>D Avc B BVD A入B 1010 推理规则(续) (11) 破坏性二难推理 规则 A→B C→D BD \AC (12) 合取引入规则 A B \AB (9) 析取三段论规则 AB B \A (10)构造性二难推理 规则 A→B C→D AC \BD