离散数学第7讲(精品·公开课件).pptVIP

离散数学 第7讲 回顾上节课重要知识点： 理解命题逻辑推理的基本概念； 掌握推理常用的三种方法： 真值表法 等价值演算法 主析取范式 掌握九条重要的推理定律； 离散数学 第7讲 本节课基本知识点： 自然推理系统的定义 自然推理系统中的常用的推理规则； 自然推理系统中的构造证明法。 第三章 命题逻辑的推理理论 3.2 自然推理系统 在推理过程中，如果命题变元较多或前提较多，以上三种方法都不方便，因而引入构造证明方法。证明是一个描述推理过程的命题公式序列，其中的每个命题公式，或者是已知的前提，或者是由某些前提应用推理规则得到的结论（中间结论或推理中的结论）。 而要构造出严谨的证明就必须在形式系统中进行，因而首先给出形式系统的定义。 第三章 命题逻辑的推理理论 定义3.2 ——形式系统 一个形式系统I 由下列四个部分组成： （1）非空的字母表集，记作A（I）。 （2）由A（I）中符号构造的合式公式集，记作E（I）。 （3）E（I）中一些特殊的公式组成的公理集,记作AX（I）。 （4）推理规则集，记作r（I）。 可以将I 记作为4元组A（I）,E（I）,AX（I）,r（I） 其中 A（I），E（I） 是I 的形式语言系统 A（I），r（I）为I 的形式演算系统 第三章 命题逻辑的推理理论 形式系统一般分为两类： 自然推理系统（本书介绍） 特点：从任意给定的前提出发，应用系统中的推理规则进行推理演算，得到的最后命题公式是推理的结论，此结论可能是重言式，也可能不是。 公理推理系统 特点：只能从若干条给定的公理出发，应用系统中的推理规则进行推理演算 ，得到的结论是系统中的重言式，称为系统中的定理。 第三章 命题逻辑的推理理论 定义3.3 ——自然推理系统（不含有公理部分） 自然推理系统p定义如下： 1、字母表 （1）命题变项符号：p,q,r,… （2）联结词符号： ?，∧，∨，?，? （3）括号与逗号：() , 2、合式公式 定义同1.6 3、推理规则 第三章 命题逻辑的推理理论 构造证明法祥解： 构造证明法也是自然推理中的一种常用方法，适用于命题变项较多时，且必须在给定的规则下进行。 构造证明法是一个描述推理过程的命题公式序列，其中的每个命题公式或者是已知的前提，或者是某些前提应用推理规则得到的结论。 第三章 命题逻辑的推理理论 证明中常用的推理规则： 1、前提引入规则P：在证明的任何一步上都可引入前提。 2、结论引入规则T：在证明的任何一步上，所证明的结论都可作为后续证明的前提。 3、置换规则：在证明的任何一步上，命题公式中任何子命题公式都可用与之等值的命题公式置换。（等值公式参考课本P21） 第三章 命题逻辑的推理理论 4、代入规则：在证明的任何一步上，永真式中某一变元的所有出现都可代入同一公式。 5、假言推理规则(分离规则)： A ?B, A=B 6、 附加规则：A=A∨B 7、化简规则：A∧B =A 8、拒取式规则：A ? B, ?B = ? A 9、假言三段论规则： A ? B,B ? C = A ? C 第三章 命题逻辑的推理理论 10、析取三段论规则: A ∨B, ? A = B 11、构造性两难规则： A ? B,C? D, A∨C = B∨ D 12、合取引入规则：A，B = A∧B 13、假设引消规则CP规则：可在任何步骤引入假设A，此后推出B后，即可消去假设A，而得到结论A ? B(附加前提)。 第三章 命题逻辑的推理理论 例： 前提：P ?R，Q ?S，P ∨Q 结论：R ∨S 证明：① P ?R 前提引入 ② Q ?S 前提引入 ③ P ∨Q 前提引入 ④ R ∨S 构造性两难规则 第三章 命题逻辑的推理理论 例3.3：在自然推理系统中构造下列推理的证明。 (1)前提：p ∨q , q ?r ,p ? s , ?s 结论：r ∧(q ∨ p) （前提、结论已明确给出） 证明： ① p ? s 前提引入 ② ?s 前提引入 ③ ?p ① ②拒取式 ④ p ∨q 前提引入