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

第四讲 推理规则和证明方法;什么是推理？;推理的例子：设x属于实数, P: x是偶数, Q: x2是偶数。;1、推理和推理规则;定义1：若H1∧H2∧ …∧Hn ? C, 则称C是H1, H2, …, Hn的有效结论。 特别若A ? B, 则称B是A的有效结论，或从A推出B。;常用的推理规则 1) 恒等式(E1~E24) 2) 永真蕴含式(I1~I8,表1.5-1) 3) 替换规则，代入规则 4) P规则和T规则 P规则：(前提引入) 在推导的任何步骤上，都可以引入前提。 T规则：(结论引用) 在推导任何步骤上所得结论都可以作为后继证明的前提。 ;表1.5-1 常用推理规则;永真蕴含式;例1：考虑下述论证: 1. 如果这里有球赛, 则通行是困难的。 2. 如果他们按时到达, 则通行是不困难的。 3. 他们按时到达了。 4. 所以这里没有球赛。 前 3 个断言是前提, 最后1个断言是结论, 要求我们从前提推出结论。;1). 无义证明法 ???明 P ? Q为真，只需证明P为假。 2). 平凡证明法 证明 P ? Q为真，只需证明Q为真。 无义证明法和平凡证明法应用的