传统命题逻辑的推理 D假言推理( Modus ponens) 前提1(事实)x是A 前提2(规则)jx是A, then y是B 结论 y是B[(p∧(p→q)→>q 2)否定前提的假言推理( Modus Tollens 前提1(事实)y不是B 前提2(规则)x是A, then y是B 结论 x不是A[(q∧(Pp→>q)→p传统命题逻辑的推理 [( ( )) ] 2 , 1 1 (Modus Ponens) y B p p q q if x A then y B x A 结论 是  → → 前提（规则） 是 是 前提（事实） 是 ）假言推理 [( ( )) ] 2 , 1 2) (Modus Tollens) x A q p q p if x A then y B y B 结论 不是  → → 前提（规则） 是 是 前提（事实） 不是 否定前提的假言推理