西安电子科技大学$1.5.3推理证明方法1软件学院3.CP规则要证明形如P→(Q一R)的命题，可证PAQ→R。因为P-(Q-R)台(PAQ)一R，所以要证P—(Q—R)永真，只要证(PAQ)一R永真即可。西安电子科技大学 §1.5.3 推理证明方法 软件学院 3. CP规则