离散数学第2版课件作者王元元离散第12讲证明的方法.pptVIP

第12讲 证明的方法 证明的方法 内容回顾 逻辑等价式和逻辑蕴涵式的三种证明方法 真值表法 对指派进行讨论 利用代入、替换进行推演 内容回顾 逻辑等价式和逻辑蕴涵式的三种证明方法 真值表法 对指派进行讨论 利用代入、替换进行推演 内容回顾 逻辑等价式和逻辑蕴涵式的三种证明方法 真值表法 对指派进行讨论 利用代入、替换进行推演 应用：推理 所谓推理是指从前提出发推出结论的思维过程，前提是已知的命题公式集合，结论是从前提出发应用推理规则推出的命题公式 定义：设A1, A2, …, Ak和B都是命题公式，若对于A1, A2, …, Ak和B中出现的命题变元的任意一组指派，当A1 ∧A2∧…∧Ak为真时B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的，并称B是有效的结论 推理与重言式 定理：命题公式A1, A2, …, Ak推B的推理正确当且仅当A1∧A2∧…∧Ak ┝ B 判断下面的推理是否正确： 推理与重言式 定理：命题公式A1, A2, …, Ak推B的推理正确当且仅当A1∧A2∧…∧Ak ┝ B 判断下面的推理是否正确： 应用：证明 在实际应用中常见的情况是: 已知一个前提的集合，例如{A,B,C,D}，要求证一个 结论，例如K，或求解“K是否可以由前提集合推出”。 我们可以怎么做？ （1）求证：A?B ?C?D╞K；