传统命题逻辑的推理 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(规则)∥fx是A, then y是B 结论 x不是A[(q∧(p→>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 结论 不是  → → 前提（规则） 是 是 前提（事实） 不是 否定前提的假言推理