西安电子科技大学S1.5.3推理证明方法软件学院1.直接证明法由一组前提，利用逻辑等价式和推理规则，推演得到有效的结论。其基本形式为：若P为真，则Q必为真，即P→Q西安电子科技大学 §1.5.3 推理证明方法 软件学院 1. 直接证明法