西安电子科技大学：《离散数学》课程教学课件（题解）第一章 命题逻辑 1-5 对偶式

西安电子科技大学推理规则应用中常见的错误软件学院在推理证明过程中常犯的两类错误是：(1)肯定后件的错误9A(P-9).P(2)否定前件的错误-PA(P-O).:~9

西安电子科技大学 » 推理规则应用中常见的错误 软件学院

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

西安电子科技大学 §1.5.3 推理证明方法 软件学院 1. 直接证明法