离散数学-屈婉玲的.pptVIP

主要内容 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 第三章 命题逻辑的推理理论 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.1 推理的形式结构 定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值， A1A2… Ak 为假，或当A1A2…Ak为真时，B也为真， 则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确 的, 并称B是有效结论. 定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当 A1A2…AkB为重言式 注意: 推理正确不能保证结论一定正确 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 推理的形式结构 2. A1A2…AkB 若推理正确, 记为A1  A2  …  Ak  B 3. 前提： A1, A2, … , Ak 结论： B 判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 推理实例 例1 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 解 设 p：今天是1号，q：明天是5号. (1) 推理的形式结构: (pq)pq 用等值演算法 (pq)pq  ((pq)p)q  pqq  1 由定理3.1可知推理正确 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 推理实例 (2) 推理的形式结构: (pq)qp 用主析取范式法 (pq)qp  (pq)qp   ((pq)q)p  qp  (pq)(pq) (pq)(pq)  m0m2m3 结果不含m1, 故01是成假赋值，所以推理不正确 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 推理定律——重言蕴涵式 1. A  (AB) 附加律 2. (AB)  A 化简律 3. (AB)A  B 假言推理 4. (AB)B  A 拒取式 5. (AB)B  A 析取三段论 6. (AB)(BC)  (AC) 假言三段论 7. (AB)(BC)  (AC) 等价三段论 8. (AB)(CD)(AC)  (BD)