离散第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 判断下面的推理是否正确： 推理与重言式 定理：命题公式A1, A2, …, Ak推B的推理正确当且仅当A1∧A2∧…∧Ak ? B 判断下面的推理是否正确： 应用：证明 在实际应用中常见的情况是: 已知一个前提的集合，例如{A,B,C,D}，要求证一个 结论，例如K，或求解“K是否可以由前提集合推出”。 我们可以怎么做？ （1）求证：A?B ?C?D ? K； 或证明A?B ?C?D ? K不能成立 （2）想想我们在“证明”中是怎样做的：建立一个 由A,B,C,D以及由它们用逻辑规则推理出的结果的序 列，而这个序列的末段是K。 如何完成这样的证明？可用哪些逻辑规则？这正是“证明技术”要告诉大家的。 证明技术 常用规则 前提引入规则：在证明的任何步骤都可引入前提 结论引入规则：在证明的任何步骤得到的结论都可作为后继证明的前提 置换规则：在证明的任何步骤，命题公式中的子公式都可以用与之等价的公式置换 化简规则 附加规则 证明技术 常用规则 假言推理规则 拒取式规则 假言三段论规则 析取三段论规则 证明技术 常用规则 合取引入规则 构造性二难推理规则 破坏性二难推理规则 实例1：形式化 前提： 1、只要你认真听课、认真做作业，你考试就能及格； 2、你认真听课； 3、你考试不及格； 结论： 你没有认真做作业 实例1：证明 实例2 要证明： p∨q, p? r, q?s? s∨r p∨q 引入前提 ┐p?q 由(1)置换 q?s 引入前提 ┐p?s 由(2)(3)假言三段论 ┐s ?p 由(4)置换 p? r 引入前提 ┐s ?r 由(5)(6)假言三段论 s∨r 由(7)置换 两种构造证明方法（1） 归谬法 设推理的形式结构具有如下形式 A1∧A2∧…∧Ak?B 此时若将┐B作为推理的前提推出矛盾，则说明推理正确 若证A1∧A2∧…∧Ak?B ，即证(A1∧A2∧…∧Ak)?B为永真式 (A1∧A2∧…∧Ak)?B ┐(A1∧A2∧…∧Ak) ∨B ┐(A1∧A2∧…∧Ak ∧ ┐B ) 所以，若A1∧A2∧…∧Ak ∧ ┐B 为矛盾式，则说明(A1∧A2∧…∧Ak)?B为重言式， 即 A1∧A2∧…∧Ak?B推理正确 实例3 已知事实： （a）如果委员会拒绝通过新条令，那么罢工不结束，或者罢工持续一年并且商行董事长辞职。 （b）罢工刚刚开始。 得出结论：如果委员会拒绝通过新条令,那么罢工不结束。 证明上述推理是正确的(有效的) 。 解.首先将事实和结论形式化。 p：委员会拒绝通过新条令。 q：罢工结束。 r：商行董事长辞职。 s：罢工持续一年。 于是,问题的已知事实是{ p→(┐q∨(r∧s)),┐s},结论是p→┐q 欲证(p→(┐q∨(r∧s)))∧┐s ? p→┐q 方法一 使用归谬法 （1） ┐(p→┐q) 引入结论的否定 （2） ┐(┐p ∨ ┐q) 由(1)置换 （3） p ∧ q 由(2)置换 （4 ） p 由(3)化简 （5）p→(┐q∨(r∧s)) 引入前提 （6） ┐q∨(r∧s)) 由(4)(5)假言推理 （7）q 由(3)化简 （8） r∧s 由(6)(7)析取三段论 （9）s 由(8)化简 （10） ┐s 引入前提 （11） ┐s ∧s（矛盾） 由(9)(10)合取引入 两种构造证明方法（2） 附加前提证明法 设推理的形式结构具有如下形式 A1∧A2∧…∧Ak?A?B 此时可将结论中的前件A作为推理的前提，使结论为B 推理的形