命题逻辑的推理理论PPT推荐.ppt

命题逻辑的推理理论PPT推荐.ppt

《命题逻辑的推理理论PPT推荐.ppt》由会员分享，可在线阅读，更多相关《命题逻辑的推理理论PPT推荐.ppt（46页珍藏版）》请在冰豆网上搜索。

正确的。

命题逻辑的推理理论命题逻辑的推理理论命题逻辑的推理理论命题逻辑的推理理论概念概念描述问题描述问题的句子的句子判断判断对概念的肯对概念的肯定与否定的定与否定的判断判断推理推理从一个或多从一个或多个前提推出个前提推出结论的思维结论的思维过程过程认识世界的渐进过程认识世界的渐进过程定义定义3.13.1设设AA11,A,A22,AAkk和和BB都是命题公式，若对于都是命题公式，若对于AA11,A,A22,AAkk和和BB中出现的命题变项的任意一组赋值，中出现的命题变项的任意一组赋值，（11）或者）或者AA11AA22AAkk为假为假;

（22）或者当）或者当AA11AA22AAkk为真时，为真时，BB也为真也为真;

则称由前提则称由前提AA11,A,A22,AAkk推出推出BB的的推理是有效的或正确推理是有效的或正确的的，并称，并称BB是是有效结论有效结论。

有效推理的定义有效推理的定义有效推理的定义有效推理的定义关于有效推理的说明关于有效推理的说明关于有效推理的说明关于有效推理的说明qA1，A2，Ak由由推推B的推理记为的推理记为B若推理是正确的，记为若推理是正确的，记为B若推理是不正确的，记为若推理是不正确的，记为Bq由前提由前提A1，A2，Ak推结论推结论B的推理是否正确的推理是否正确与诸前提的排列次序无关。

与诸前提的排列次序无关。

关于有效推理的说明关于有效推理的说明关于有效推理的说明关于有效推理的说明q设设AA11，AA22，AAkk，BB中共出现中共出现nn个命题变项，对于任何个命题变项，对于任何一组赋值一组赋值1122nn（ii=0=0或者或者11，i=1,2,i=1,2,n）,n），前提前提和结论的取值情况有以下四种：

和结论的取值情况有以下四种：

（1）

（1）AA11AA22AAkk为为00，BB为为00。

（2）

（2）AA11AA22AAkk为为00，BB为为11。

（3）（3）AA11AA22AAkk为为11，BB为为00。

（4）（4）AA11AA22AAkk为为11，BB为为11。

q只要不出现只要不出现（3）（3）中的情况，推理就是正确的，因而判断中的情况，推理就是正确的，因而判断推理是否正确，就是判断是否会出现推理是否正确，就是判断是否会出现（3）（3）中的情况。

中的情况。

q推理正确，并不能保证结论推理正确，并不能保证结论BB一定为真一定为真。

（1）

（1）p,pqqp,pqq

（2）p,qpq

（2）p,qpq例例3.13.1判断下列推理是否正确。

（真值表法）判断下列推理是否正确。

（真值表法）pqp（pq）qp（qp）q000000010101100010111111例题例题例题例题正确正确不正确不正确定理定理3.13.1命题公式命题公式AA11,A,A22,AAkk推推BB的推理正确当且仅当的推理正确当且仅当（AA11AA22AAkk）BB为为重言式重言式。

q该定理是判断推理是否正确的另一种方法。

该定理是判断推理是否正确的另一种方法。

说说明明有效推理的等价定理有效推理的等价定理有效推理的等价定理有效推理的等价定理定理定理定理定理3.13.13.13.1的证明的证明的证明的证明

（1）

（1）证明必要性。

若证明必要性。

若AA11,A,A22,AAkk推推BB的推理正确，的推理正确，则对于则对于AA11,A,A22,AAkk,B,B中所含命题变项的任意一组赋值，不会出中所含命题变项的任意一组赋值，不会出现现AA11AA22AAkk为真，而为真，而BB为假的情况，为假的情况，因而在任何赋值下，蕴涵式因而在任何赋值下，蕴涵式（AA11AA22AAkk）B）B均为真，故它均为真，故它为重言式。

为重言式。

（2）

（2）证明充分性。

若蕴涵式证明充分性。

若蕴涵式（AA11AA22AAkk）B）B为重言式，为重言式，则对于任何赋值此蕴涵式均为真，因而不会出现前件为真后件则对于任何赋值此蕴涵式均为真，因而不会出现前件为真后件为假的情况，为假的情况，即在任何赋值下，或者即在任何赋值下，或者AA11AA22AAkk为假，为假，或者或者AA11AA22AAkk和和BB同时为真，这正符合推理正确的定义。

同时为真，这正符合推理正确的定义。

当推理正确时，当推理正确时，q形式（形式

（1）记为）记为B。

q形式（形式

（2）记为）记为A1A2AkB。

表示蕴涵式为重言式。

（1）设设=A1,A2,Ak，记为记为B。

（2）A1A2AkB（3）前提：

前提：

A1,A2,Ak结论：

结论：

B说说明明推理的形式结构推理的形式结构推理的形式结构推理的形式结构判断有效结论的常用方法判断有效结论的常用方法判断有效结论的常用方法判断有效结论的常用方法要求要求=GG11,G,G22,GGnnHH也就是也就是GG11GG22GGnn为永真公式为永真公式因而因而真值表技术、演绎法和真值表技术、演绎法和间接证明方法间接证明方法q真值表法真值表法q等值演算法等值演算法q主析取范式法主析取范式法判断推理是否正确的方法判断推理是否正确的方法判断推理是否正确的方法判断推理是否正确的方法q是否有其他的证明方法？

是否有其他的证明方法？

思思考考q当命题变项较少时当命题变项较少时,这三种方法比较方便这三种方法比较方便。

说说明明（11）下午马芳或去看电影或去游泳。

她没去看电影，所以，她下午马芳或去看电影或去游泳。

她没去看电影，所以，她去游泳了。

去游泳了。

例例3.23.2判断下列推理是否正确。

（等值演算法）判断下列推理是否正确。

（等值演算法）解：

设解：

设p:

p:

马芳下午去看电影，马芳下午去看电影，q:

q:

马芳下午去游泳。

ppqq，pp结论：

qq推理的形式结构：

推理的形式结构：

（p（pq）q）p）p）qq（p（pq）q）p）p）qq（p（pq）q）p）p）qq（ppq）q）pp）qq（pppp）（qqp）p）qq（qqp）p）qq11由定理由定理3.13.1可知，可知，推理正确。

推理正确。

例题例题例题例题

（1）A

（1）A（AB）（AB）附加律附加律

（2）

（2）（AB）AB）AA化简律化简律（3）（3）（AB）AAB）ABB假言推理假言推理（4）（4）（AB）BAB）BAA拒取拒取式式（5）（5）（AB）BAB）BAA析取三段论析取三段论（6）（6）（AB）（BC）AB）（BC）（AC）（AC）假言三段论假言三段论（7）（7）（AAB）（BB）（BC）C）（A（AC）C）等价三段论等价三段论（8）（8）（AB）（CD）（AC）AB）（CD）（AC）（BD）（BD）构造构造性二难性二难（AB）（AB）（AA）AB）（AB）（AA）BB构造性二难构造性二难（特殊形式特殊形式）（9）（9）（AB）（CD）（BD）AB）（CD）（BD）（AC）（AC）破坏性二难破坏性二难推理定律推理定律推理定律推理定律-重言蕴含式重言蕴含式重言蕴含式重言蕴含式小节结束小节结束关于推理定律的几点说明关于推理定律的几点说明关于推理定律的几点说明关于推理定律的几点说明qA,B,CA,B,C为元语言符号，代表任意的命题公式。

为元语言符号，代表任意的命题公式。

q若一个推理的形式结构与某条推理定律对应的蕴涵若一个推理的形式结构与某条推理定律对应的蕴涵式一致，则不用证明就可断定这个推理是正确的。

式一致，则不用证明就可断定这个推理是正确的。

q2.12.1节给出的节给出的2424个等值式中的每一个都派生出两条推个等值式中的每一个都派生出两条推理定律。

例如双重否定律理定律。

例如双重否定律AAAA产生两条推理定产生两条推理定律律AAAA和和AAAA。

q由九条推理定律可以产生九条推理规则由九条推理定律可以产生九条推理规则,它们构成了它们构成了推理系统中的推理规则推理系统中的推理规则。

3.23.23.23.2自然推理系统自然推理系统自然推理系统自然推理系统PPPPq判断推理是否正确的三种方法：

真值表法、等值演判断推理是否正确的三种方法：

真值表法、等值演算法和主析取范式法。

算法和主析取范式法。

q当推理中包含的命题变项较多时，上述三种方法演当推理中包含的命题变项较多时，上述三种方法演算量太大。

算量太大。

q对于由前提对于由前提AA11,A,A22,AAkk推推BB的正确推理应该给出严谨的正确推理应该给出严谨的证明的证明。

q证明是一个描述推理过程的命题公式序列，其中的证明是一个描述推理过程的命题公式序列，其中的每个公式或者是前提，或者是由某些前提应用推理每个公式或者是前提，或者是由某些前提应用推理规则得到的结论（中间结论或推理中的结论）。

规则得到的结论（中间结论或推理中的结论）。

q要构造出严谨的证明就必须在形式系统中进行。

要构造出严谨的证明就必须在形式系统中进行。

自然推理系统自然推理系统自然推理系统自然推理系统PPPP自然推理系统自然推理系统PP由下述由下述33部分组成部分组成:

1.1.字母表字母表

（1）

（1）命题变项符号命题变项符号:

p,q,r,p,q,r,ppii,q,qii,r,rii,

（2）

（2）联结词联结词:

（3）（3）括号与逗号括号与逗号:

（）,:

（）,2.2.合式公式合式公式3.3.推理规则推理规则

（1）

（1）前提引入规则前提引入规则

（2）

（2）结论引入规则结论引入规则（3）（3）置换规则置换规则自然推理系统的定义自然推理系统的定义自然推理系统的定义自然推理系统的定义（44）假言推理规则）假言推理规则AABBAABB（55）附加规则）附加规则AAAABB（66）化简规则）化简规则AABBAA（44）若今天下雪）若今天下雪,则将去滑则将去滑雪。

今天下雪，所以去滑雪。

雪。

（55）现在气温在冰点以下。

）现在气温在冰点以下。

因此，要么现在气温在冰点因此，要么现在气温在冰点以下，要么现在下雨。

以下，要么现在下雨。

（66）现在气温在冰点以下并）现在气温在冰点以下并且正在下雨。

因此，现在气且正在下雨。

因此，现在气温在冰点以下。

温在冰点以下。

自然推理系统的定义自然推理系统的定义自然推理系统的定义自然推理系统的定义（77）拒取式规则）拒取式规则AABBBBAA（88）假言三段论规则假言三