离散数学---推理理碌嫩.pptVIP

§1.6 推理理论 一、有效论证推理规则 二、基本蕴涵式 三、自然推理系统P 四、推理证明的方法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、有效论证与推理规则 定义：A1∧A2∧…∧An→A,其为永真式，则称由前提A1,A2,…,An得到有效结论A；从前提公式得到有效结论的过程称为正确推理。 若AB是永真式，则记为AB； 若A→B是永真式，则记为AB。 前提一致和不一致： 如果前提A1∧A2∧…∧An为可满足式，则称为前提A1,A2,…,An一致。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 实例分析 判断推理是否正确：张红不管有无空闲都不看电影。张红看了电影。所以张红有空闲时间又没有空闲时间。 解：P:张红有空闲时间；Q：张红看电影 。 前提：A1=P∨ P→ Q A2=Q 结论：A=P∧ P 问题：该结论是否有效结论。(该推理是否正确)。 所以，结论A是有效结论；该推理是正确的。而前提是不一致的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 基本蕴涵式 名称 蕴涵关系式 化简式 A∧BA A∧BB (A→B) A (A→B)  B 附加式 AA∨B BA∨B  AA→B BA→B 假言推理 (A→B) ∧AB 拒取式 (A→B) ∧ B A 析取三段式 (A∨B) ∧ AB 假言三段式 (A→B) ∧(B→C) A→C 等价三段式 (AB) ∧(BC) AC 二难推论 (A→B) ∧(C→D) ∧(A∨C) B∨D Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (A→B) ∧ B A的证明 A B (A → B) ∧  B →  A 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 法一、真值表法： (A→B)  B的证明 ?第三种方法? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自然推理系统P 形式系统 自然推理系统 公理系统 特点：只能从几个给定的公理出发，应用系统中的推理规则进行推演，得到的结论是系统中的定理。 特点：可以从任意给定的前提出发，应用系统中的推理进行推演，得到的结论在系统中被认为是有效的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自然推理系统P 自然推理系统P定义如