附加前提规则.PPT

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 1、推理的基本概念和推理形式 2、推理规则 1）P规则 2）T规则 3）CP规则 * 计算机学院 * §1．7 命题逻辑的推理方法 命题演算的一个主要任务在于提供一种正确的思维规律，即推理规则，应用此规则从一些前提中推导出一个结论来，这种推导过程称为演绎或形式证明。 定义1.19 设A1,A2,…,An,B是公式,如果 A1,A2,…,An?B 则称B是 A1,A2,…,An 的逻辑结果（有效结论）。 也可以说由A1,A2,…,An推出结论B。 * 计算机学院 * 在更一般意义上，我们有下述定义 定义1.20 设G是由一组命题公式组成的集合，如果存在命题公式的有限序列： A1，A2，……，An（=B） 其中，Ai（in-1）或者是G中的某个公式，或者是前面的某些Aj（ji）的有效结论，并且An就是B，则称公式B是G的逻辑结果（有效结论），或者称由G演绎出结论B来。 * 计算机学院 * 我们有下述结论： 　　 公式B是公式集合G＝{A1,A2,…,An}的逻辑结果当且仅当A1∧A2∧…∧An→B为永真公式。 * 计算机学院 * 解释 1) 这里需要特别注意的是：推理的有效性和结论的真实性是不同的，有效的推理不一定产生真实的结论；而产生真实结论的推理过程未必是有效的，因为有效的推理中可能包含为“假”的前提，而无效的推理却可能包含为“真”的前提。 2) 由此可见，推理的有效性是一回事，前提与结论的真实与否是另一回事。所谓推理有效，指的是它的结论是在它的前提下合乎逻辑的结果。也即，如果它的前提都为真，那么所得的结论也必然为真，而并不是要求前提或结论一定为真或为假，如果推理是有效的话，那么不可能它的前提都为真时，而它的结论为假。 * 计算机学院 * * 计算机学院 * 推理规则 在数理逻辑中，主要的推理规则有： ① P规则（称为前提引用规则）：在推导的过程中，可随时引入前提集合中的任意一个前提； ② Ｔ规则（逻辑结果引用规则）：在推导的过程中，利用基本等价式和蕴涵式，由证明过程中某些中间公式变换出新的公式，若依据的是等价式，规则标明为TE，若依据的是蕴涵式，规则标明为TI 。 推理规则 ③ ＣＰ规则（附加前提规则）：如果能从给定的前提集合G与公式P推导出S，则能从此前提集合G推导出P→S。 即 G1,G2,…,Gn? P→S 当且仅当 G1,G2,…,Gn，P? S * 计算机学院 * * 计算机学院 * 推理方法 1.真值表法 根据前提A1,A2,…,An和结论B,构造条件式（A1∧A2∧…∧An）→B的真值表,若它为永真式，则结论B是有效的。 真值表法原则上可以解决推理的有效性问题，但当出现在公式中的命题变元数目很大时，此法显得不切实用，且烦琐乏味，对培养逻辑推理能力及训练推理技巧毫无帮助。 * 计算机学院 * 2、演绎法 演绎法是从前提（假设）出发，依据公认的推理规则，推导出一个结论来。 1）直接法 2）利用CP规则 3、间接证明法（反证法） * 计算机学院 * 直接证明法 例1-7．1 求证S∨R是前提{P∨Q，P→R，Q→S}的有效结论。(构造性二难推论) 证：步骤 公式 依据（注释） ① P∨Q P ② ～P→Q T，①，E1，E2 ③ Q→S P ④ ～P→S T, ②, ③,I9 ⑤ ～S→P T，④，E14，E23 ⑥ P→R P ⑦ ～S→R T，⑤，⑥，I9 ⑧ S∨R T，⑦，E2，E1 故 {P∨Q，P→R，Q→S} ? S∨R * 计算机学院 * 利用CP规则 例1-7．2 证明R→S可以从前提 {P→（Q→S），～R∨P，Q}推出 证：① R P（附加前提） ② ～R∨P P ③ P T，①，②，I8 ④ P→（Q→S） P