1.7 自然推理系统P演示课件.pptVIP

3.2 自然推理系统 数理逻辑的主要任务是用数学的方法来研究推理。所谓推理是指从前提出发推出结论的思维过程，而前提是已知命题公式集合，结论是从前提出发应用推理规则推出的命题公式。 §1.8 命题逻辑的推理理论 一、有效推理 定义 设α1，α2，…，αn，β都是命题公式， 称推理“α1，α2，…，αn推出β”是有效的（或正确的）， 如果对α1，α2，…，αn，β中出现的命题变项的任一指派， 若α1，α2，…，αn都真，则β亦真，并称β是有效结论。 否则，称“由α1，α2，…，αn推出β”是无效的或不合理的。 注意：在推理形式中，推理形式的有效与否与前提中命题公式的排列次序无关。 我们将前述推理用更严谨的形式推理系统描述出来 。 怎样在计算机上实现如下的有效推理： {p?q, q?r} ├ p?r 识别符号p,q,r 识别公式p?q, q?r, …… 推理方法 定义 定义3.2 一个形式系统I由下面四个部分组成： （1）非空的字符表集，记作A(I)。 （2）A(I)中符号构造的合式公式集，记作E(I)。 （3）E(I)中一些特殊的公式组成的公理集，记作AX(I)。 （4）推理规则集，记作R(I)。 可以将I记为A(I),E(I),AX(I),R(I). 其中A(I),E(I)是I的形式语言系统，AX(I),R(I)为I的形式演算系统。 形式系统 符号库（字母表） （形式）公式 （形式）公理 （形式）推理规则 符号库和形式公式统称为形式语言系统。 形式公理和形式推理规则统称为形式演算系统。 形式系统分为： （1）自然推理系统：从任意给定的前提出发，应用系统中的推理规则进行推理演算，最后得到结论。 （2）公理推理系统：从若干条给定的公理出发，应用系统中的推理规则进行推理演算，最后得到系统中的重言式，称为定理。 本书只介绍自然推理系统P，它的定义中无公理部分。 定义3.3 自然推理系统P定义如下： 1．字母表 （1）命题变项符号：p，q，r，…,pi，qi，ri，…（2）联结词符号：┐,∧,∨,→,?（3）括号和逗号：(,)，， 2．合式公式参见定义1.6。 3．推理规则（1）前提引入规则：在证明的任何步骤上都可以引入前提。（2）结论引入规则：在证明的任何步骤上所得到的结论都可以作为后继证明的前提。 （3）置换规则：在证明的任何步骤上，命题公式中的子公式都可以用与之等值的公式置换，得到公式序列中的又一个公式。由九条推理定律和结论引入规则还可以导出以下各条推理定律。 （4）假言推理规则（或称分离规则）：由A→B和A，可得B. 若证明的公式序列中已出现过A→B和A，则由假言推理定律(A→B)∧A?B可知，B是A→B和A的有效结论。由结论引入规则可知，可将B引入到命题序列中来。 （4）假言推理 用图示表示如下： （5）附加规则 （6）化简规则 A→B A ∴ B A ∴A∨B A∧B ∴A （7）拒取式规则 （8）假言三段论规则 （9）析取三段论规则 A→B ┐B ∴ ┐A A→B B→C ∴ A→C A∨B ┐B ∴ A （10）构造性二难推理规则 （11）破坏性二难推理规则 （12）合取引入规则 A→B C→D A∨C ∴ B∨D A B ∴ A ∧B A→B C→D ┐B∨┐D ∴ ┐A∨┐C 例子 例3.3 在自然推理系统P中构造下面推理的证明：(1)前提：p∨q, q→r, p→s, ┐s 结论：r∧(p∨q)(2)前提：┐p∨q,r∨┐q,r→s 结论：p→s 解(1)证明： ①p→s 前提引入②┐s 前提引入③┐p ①②拒取式④p∨q 前提引入⑤q ③④析取三段论⑥q→r 前提引入⑦r ⑤⑥假言推理⑧r∧(p∨q) ⑦④合取此证明的序列长为8，最后一步为推理的结论，所以推理正确，r∧(p∨q)是有效结论。 (2)证明： ①┐p∨q 前提引入②p→q ①置换③r∨┐q 前提引入④q→r ③置换⑤p→r ②④假言三段论⑥r→s 前提引入⑦p→s ⑤⑥假言三段论 从最后一步可知推理正确，p→s是有效结论。 可以在自然推理系统p中构造数学和日常生活中的一些推理，所得结论都是有效的，即当各前提的合取式为真时，结论必为真。 例子 例3.4 在自然推理系统P中构造下面推理的证明：若数a是实数，则它不是有理数就是无理数；若a不能表示成分数，则它不是有理数；a是实数且它不能表示成分数。所以a是无理数。 解：首先将简单命题符号化