逻辑学导论（第4版）L12. PN定理证明.pptxVIP

七、PN推演方法;（4）以后每列出一个公式，就在该公式右边注明它是从上面哪个或哪些公式使用什么推理规则得到的。 （5）在一假设下根据∧＋，∧－， ∨＋，∨－，?－，?＋，?－和∈得到的公式，都与该假设对齐，表示它们全都依赖于该假设和它前面的假设。 （6）如果一个公式是通过使用?＋，?－，?＋得到的，则让它“进位”，即与它上面的倒数第二个假设对齐，表示它不依赖于它上面的倒数第一个假设，该假设及其下面的公式都被解除了；但它仍依赖于倒数第二个假设及其以前的假??。; （7）我们在一推演的右边画一垂直线，表示该推演的起讫，并在该垂直线的顶端置一小圆圈，表示右边的公式是假设。 根据PN推演规则建构出来的、并按上述写法表述的一个有穷长的公式序列，叫做一个PN推演。如果该推演的最末一个公式B是从某个假设A推出的，则称该推演是从假设A到结论B的一个推演。; 现代逻辑的创立者 Frege 要建立“无缝隙”的推理链条。下面的推理链条就有“缝隙”： Leibniz: 公理：1+1=2 2+1=3 3+1=4 规则：在等式中，等量可以替换替换等量 证明：2+2=4 2+2=2+1+1=3+1=4 使用了未陈述规则：a+(b+c)=(a+b)+c ;推演例题;3.?(A∧?A) (1)○A∧?A 假设 (2) A (1)∧- (3) ?A (1)∧- (4)?(A∧?A) (1)(2)(3)?+ 4.A∨?A (1)○?(A∨?A) 假设 (2) ○A 假设 (3) A∨?A (2)∨+ (4) ?A (2)(3)(1)?+ (5) A∨?A (4)∨+ (6)A∨?A (1)(5)(1)?- ;5.(A→B)∧(B→C)→(A→C);6.(A∨B→C)?(A→C)∧(B→C) 证明：; 7.(A∨B)?((A→B)→B) （仅用→定义∨） 证明：;稍复杂的推演——德·摩根律;稍复杂的推演——分配律;已证定理与导出规则的使用;还可以证明一些导出规则以便简化许多推演。 例如： DR1 A→B，?B├?A 证明： (1)A→B 前提 (2)?B 前提 (3)○A 假设 (4) B (1)(3)→- (5)?A (3)(4)(2)?+ ;还可证明： DR2 A→B，B→C├A→C DR3 A→B，C→D，A∨C├B∨D DR4 A∨B，?A├B …… 导出规则可以用来简化证明。