离散数学第四讲-推理规则与证明方法中.pptVIP

第四讲 推理规则和证明方法 讲授内容： 1.推理和推理规则 推理 推理规则 两规则 替换规则 2. 证明方法 直接证明方法 CP规则 反证法 1.推理和推理规则 什么是推理？ 推理的例子：设x属于实数, P: x是偶数, Q: x2是偶数。 例1. 如果x是偶数, 则x2是偶数。 x是偶数。 x2是偶数。 1、推理和推理规则 刚才的例子表明了研究推理规则的重要性。 推理规则：正确推理的依据。 任何一条永真蕴含式都可以作为一条推理规则。 例：析取三段论： 如果，P：他在钓鱼，Q：他在下棋 前提：他在钓鱼或下棋； 他不在钓鱼 结论：所以他在下棋 定义1：若H1∧H2∧ …∧Hn ? C, 则称C是H1, H2, …, Hn的有效结论。