逻辑学（北大精品课）ppt课件.ppt

《逻辑学（北大精品课）ppt课件.ppt》由会员分享，可在线阅读，更多相关《逻辑学（北大精品课）ppt课件.ppt（92页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、12/30/20221篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统第二章 命题逻辑第一节第一节 命题逻辑概述命题逻辑概述篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统命题命题（1）西南大学在重庆。（2）闪光的东西都是金子。（3）如果小王有作案动机，那么他就会作案。符合实际的命题是真命题，不符合实际的命题是假命题。上述（1）是真命题;而（2）、（3）是假命题。命题是通过语句来反映事物情况的思维形态命题是通过语句来反映事物情况的思维形态。例如：例如：命题的命题的主要特征：主

2、要特征：命题有真假命题有真假12/30/20223篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统命题和语句命题和语句 任何命题都是通过语句来表达的，但语句和命题并非一一对应：任何命题都是通过语句来表达的，但语句和命题并非一一对应：语句语句(陈述句和反诘句陈述句和反诘句)有有内涵内涵也有也有外延外延:语句的内涵语句的内涵即它表达的命题；即它表达的命题；语句的外延语句的外延即真、假这两个真值。即真、假这两个真值。采用这种观点的逻辑理论，称为采用这种观点的逻辑理论，称为二值外延逻辑或经典逻辑。二值外延逻辑或经典逻辑。逻辑学上所说的命题，一

3、般指这种或者逻辑学上所说的命题，一般指这种或者为真或者为假的抽象语句。为真或者为假的抽象语句。12/30/20224篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统命题和判断命题和判断 一个命题是否能成为判断，与断定者的知识、立场等有关。如：“杜甫是伟大的诗人”能否被断定就与断定者的知识水平有很大关系。充分假言命题被断定是前后件的关系，而不是支命题。如：“如果物体受到摩擦，那么物体发热”这个命题，我们既没有断定“物体受到摩擦”，也没有断定“物体发热”，我们所断定的只是前件是后件的充分条件。判断：判断：就是被断定者断定了的命题。就是被断

4、定者断定了的命题。判断的主要特征：判断的主要特征：有所断定。有所断定。12/30/20225篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统命题的分类命题的分类模态命题命题非模态命题简单命题复合命题12/30/20226篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统命题分析的层次命题分析的层次将联结词所联结的命题作为一个完整的单位来看待研究关于联结词的推理(命题逻辑)深入到命题内部，把命题分析为主项、谓项、量项和联项研究关于量项和联项的推理(传统词项逻辑)深入到命题内部，把

5、命题分析为个体词、谓词、量词及联结词研究关于量词的推理(现代谓词逻辑)把命题中包含的模态词分析出来研究关于模态词的推理(模态逻辑)12/30/20227篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统逻辑语形学与逻辑语义学逻辑语形学与逻辑语义学逻辑语形逻辑语形(语法语法)学学:研究符号与符号关系的逻辑理论。研究符号与符号关系的逻辑理论。逻辑语义学逻辑语义学:研究符号及其解释的逻辑理论，如研究符号及其解释的逻辑理论，如:把把p p、q q、r r解释为取解释为取真假值的命题变元真假值的命题变元，把把、解释为真值集上的运算解释为真值集上的

6、运算，把把pqpq、pqpq、pqpq解释为真值函数的表达式。解释为真值函数的表达式。推理是由前提和结论组成的，前提和结论之间的关系称为推出（推论、推理是由前提和结论组成的，前提和结论之间的关系称为推出（推论、推理）关系。例如：推理）关系。例如：小王既有缺点，又有优点，所以，小王有优点。小王既有缺点，又有优点，所以，小王有优点。在推理中，前提是在推理中，前提是“小王既有缺点，又有优点小王既有缺点，又有优点”，结论是，结论是“小王有小王有优点优点”，“所以所以”标志前提和结论之间的推出关系。标志前提和结论之间的推出关系。推理形式：推理形式：p且且q，所以，所以，q。逻辑学是从语形和语义两个方面来

7、研究推理的：逻辑学是从语形和语义两个方面来研究推理的：(1)(1)从前提和结论的形式方面进行从前提和结论的形式方面进行 (2)(2)从前提和结论的真假方面进行从前提和结论的真假方面进行 语形和语义对推出关系的双重刻画语形和语义对推出关系的双重刻画12/30/20228篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统第二章 命题逻辑第二节第二节 复合命题及其推理复合命题及其推理篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统负命题负命题(1)并非选修逻辑的学生都是文科生。(2)

8、这个班的学生不都学英语。(3)如果它是三角形，则内角和等于180，这个观点不对。注：负命题的支命题可以是简单命题，也可以是复合命题。负命题的形式负命题的形式:p。其中p称为的辖域。负命题的逻辑性质：负命题的逻辑性质：负命题的真假与被否定的命题的真假是相反的。负命题由否定联结词负命题由否定联结词(如如“并非并非”)联结支命题而形成的复合命联结支命题而形成的复合命题。例如：题。例如：12/30/202210篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统负命题负命题真值表：真值表：真值集合只有两个元素真值集合只有两个元素T，F，其中，其中

9、T表示命题为真，而表示命题为真，而F表示命表示命题为假。因此，可用列表的方式表示真值运算的过程，这种表称为题为假。因此，可用列表的方式表示真值运算的过程，这种表称为真值表真值表。真值函数：真值函数：当当p在真值集合在真值集合T，F上取真值后，上取真值后，p 的真值也唯一确定。所的真值也唯一确定。所以，以，p是是p的函数，表达形式为的函数，表达形式为f(p)=p，这种函数称，这种函数称真值函数真值函数。的真值表如下：的真值表如下：F FT Tppp p 根据这个真值表，也可以给f(p)=p这个一元真值函数作如下定义：p为真当且仅当p为假；p为假当且仅当p为真。T TF F12/30/202211

10、篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统负命题负命题根据负命题的逻辑性质，可对根据负命题的逻辑性质，可对p再否定得到再否定得到p，其真值与，其真值与p相同，真值表如下：相同，真值表如下：F FT TF FT TF FT Tppppp p由上真值表知，对任意公式A，有等值关系：A A负命题的推导规则负命题的推导规则:双重否定引入规则（+）：从A可推出A。图示：AA双重否定消去规则（-）：从A可推出A。图示：AA12/30/202212篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得

11、分类型的系统联言命题联言命题（1）小张歌唱得好并且舞跳得好。（2）这样建立的逻辑系统既有可靠性，又有完全性。联言命题的形式：联言命题的形式：p并且q（pq）。p称为的左辖域，q称为的右辖域。pq是二元真值函数：是二元真值函数：f(p,q)=pq。是在两个真值变元p和q上进行运算的二元运算。联联言命言命题题是由是由联联言言联结词联结词(如如“并且并且”)联结联结支命支命题题而而形成的复合命形成的复合命题题，又称合取命，又称合取命题题。例如：。例如：12/30/202213篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统F FF FT T

12、F FF FT TT TT Tpqpqq qp p合取词的真值表T TF FF FF F由由的真值表的真值表,可得出可得出运算的规律运算的规律:（1）的交换律：的交换律：pqqp（2）的结合律：的结合律：p(qr)(pq)r（3）的重言（幂等）律：的重言（幂等）律：ppp12/30/202214篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统合取引入规则（合取引入规则（+）：从）：从A A和和B B可推出可推出ABAB。图示如下：。图示如下：AB AB合取消去规则（合取消去规则（-）：从）：从ABAB可推出可推出A A，从，从ABAB

13、可推出可推出B B。图示如下：。图示如下：AB AB A B小张喜爱音乐，小张喜爱体育，所以，小张不但喜爱音乐，也喜爱体育。根据+作出一个形式正确的推理，推理形式为：p,q pq。小张既有优点，也有缺点，所以，小张是有优点的。根据_作出一个形式正确的推理，推理形式为：pq p。联言命题的推导规则12/30/202215篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统选言命题选言命题选言命题分为选言命题分为“相容选言命题相容选言命题”和和“不相容选言命题不相容选言命题”两种。两种。相容选言命题的选言支可以同时为真，如：相容选言命题的选言

14、支可以同时为真，如：(1)小王或者是班干部，或者是学生会干部(二者可以得兼)。(2)这份统计材料，或者是原始材料有错误，或者是计算有错误，或者两种情况都存在。而不相容选言命题的选言支不能同时为真，如：而不相容选言命题的选言支不能同时为真，如：(1)鱼，我所欲也，熊掌，亦我所欲也，二者不可得兼。(2)要么选老王当村长，要么选小李当村长。选言命题用选言联结词联结支命题而形成的复合命题。选言命题用选言联结词联结支命题而形成的复合命题。12/30/202216篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统相容选言命题的形式：相容选言命题的形

15、式：p或者q(pq)的真值表：的真值表：相容选言命题的逻辑特征：相容选言命题的逻辑特征：相容选言命题为真，则它的选言支至少有一个为真；反过来讲，当选言命题至少有一个选言支为真，选言命题一定为真。F FF FT TF FF FT TT TT Tp pq qq qp pT TF FT TT T相容选言命题及推理相容选言命题及推理12/30/202217篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统的运算规律的运算规律和和的混合运算规律的混合运算规律12/30/202218篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，

16、篮球比赛的计时计分系统是一种得分类型的系统用真值表检验德用真值表检验德摩根律：摩根律：从上真值表，可得：(pq)pq应用德应用德摩根律的实例摩根律的实例:并非这件衣服物美(而且)价廉这件衣服或者物不美，或者价不廉。并非小李或者喜欢音乐，或者喜欢体育小李既不喜欢音乐，也不喜欢体育。T TT TF FT TT TF FF FT TT TF FF FT TT TF FT TT TF FT TF FF FT TF FF FTF FF FT TT T p p q q(p(pq)q)pqpq q q p pq qp p12/30/202219篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此

17、，篮球比赛的计时计分系统是一种得分类型的系统析取消去规则析取消去规则()从从AB和和A可推出可推出B；从；从AB和和B可推出可推出A。AB AB A B B A （只讨论有两个选言支的选言命题，下同）（只讨论有两个选言支的选言命题，下同）析取消去规则的应用实例：析取消去规则的应用实例：或者李某是嫌疑犯，或者王某是嫌疑犯(或者二者都是)；李某不是嫌疑犯；所以，王某是嫌疑犯。其推理形式为：pq,p q肯定一个选言支，不能否定另一个选言支。下述推理形式均错误：AB,A B；AB，B A 12/30/202220篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是

18、一种得分类型的系统析取引入规则析取引入规则(记为记为)：从A可推出AB；从B可推出AB。A B AB AB 析取析取引入引入规则的应用实例：规则的应用实例：小王是医生；所以，小王是医生，或者小王是教师。其推理形式为：p pq12/30/202221篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统FFTFFTTTp qqp的真的真值值表表的运算的运算规规律律的交换律：pq qP(q r)(p q)的结合律：prFTTF形式：形式：要么p,要么q（pq）qdf(pq)(pq)p不相容选言命题及推理逻辑逻辑性性质质：不相：不相容容选选言命言

19、命题为题为真，真，当且当且仅仅当两个当两个选选言支有且只有一言支有且只有一个个为为真。真。12/30/202222篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统消去消去规则规则(记为记为 _):从A B和A可推出B；从A B和B可推出A；A BA B A BB A从A B和 A可推出B；从A B和 B可推出A；A B A B A B B A12/30/202223篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统假言命题假言命题（1）如果寒潮到来，那么气温就会下降。（2）只有

20、你去，我才放心。（3）人不犯我，我不犯人，人若犯我，我必犯人。在（在（1）、（）、（2）中由）中由“如果如果”、“只有只有”引出的支引出的支命题称为前件命题称为前件，由，由“那么那么”、“才才”引出的支命题引出的支命题称为后件。称为后件。假言命题的种类假言命题的种类一、充分条件假言命题二、必要条件假言命题三、充分必要条件假言命题 假言命假言命题题是由假言联结词是由假言联结词(如如“如果，那么如果，那么”、“只有，只有，才才”、“当且仅当当且仅当”等等)联结支命题而形成的复合命题联结支命题而形成的复合命题，例如：例如：12/30/202224篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜

21、负的，因此，篮球比赛的计时计分系统是一种得分类型的系统充分条件假言命题(1)如果你不断地坚持锻炼，你的身体就会康复。(2)假如语言能创造财富，那么，夸夸其谈的人就会成为世界上最富有的人。充分条件假言命题的充分条件假言命题的形式形式：如果p，那么q(pq)在蕴涵式pq中，p称为的前件(左辖域)，q称为的后件(右辖域)。12/30/202225篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统的真值表的真值表 充分条件假言命充分条件假言命题题的的逻辑逻辑性性质质是：是：除了前件为真而后件为假时充分条件假言命题是假的以外,在其它三种情况下,充

22、分条件假言命题都是真的。F FF FT TF FF FT TT TT Tp p q qq qp pT TT TT TF F12/30/202226篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统必要条件假言命题(1)只有由细菌引起的疾病，才能用抗生素治疗。(2)我不去，除非你去。必要条件假言命题的必要条件假言命题的形式形式：只有p,才q(pq)在蕴涵式pq中，p称为的前件(左辖域)，q称为的后件(右辖域)。12/30/202227篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系

23、统的真值表的真值表必要条件假言命必要条件假言命题题的的逻辑逻辑性性质质是：是：除了前件为假而后件为真时充分条件假言命题是假的之外,其它情况下,充分条件假言命题都是真的。p pq qp p q qT TT TT TT TF FT TF FT TF FF FF FT T12/30/202228篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统充分必要条件假言命题(1)a和b平行,当且仅当它们的同位角相等。(2)人不犯我，我不犯人；人若犯我，我必犯人。充要条件假言命充要条件假言命题题的形式：的形式：p当且仅当q(pq)在充要条件式pq中，称p

24、为的前件(左辖域)，称q为 的后件(右辖域)。12/30/202229篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统的真值表的真值表的逻辑性的逻辑性质：质：当p和q的真值相同时，pq的真值为真；当p和q的真值不相同时，pq的真值为假。除上述已有规则外，、还有一些运算规律F FF FT TF FF FT TT TT Tp p q qq qp pF FF FT TT T12/30/202230篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统关于关于的推理规则的推理规则规则：肯定

25、前件就要肯定后件规则：否定后件就要否定前件12/30/202231篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统关于关于的推理规则的应用的推理规则的应用（1）如果甲方付给了定金,乙方就得按时发货。甲方已付给了定金。所以乙方得按时发货。其推理形式为：p q，p q（2）如果这部电影受观众欢迎，那么买票的人就多。买票的人不多。所以这部电影不受观众欢迎。其推理形式为：p q,q p规则：肯定前件就要肯定后件规则：否定后件就要否定前件12/30/202232篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分

26、系统是一种得分类型的系统关于关于的推理的错误应用的推理的错误应用在日常思维中，关于的推理，容易发生的错误是：从AB和B推出A；从AB和 A推出 B。例如如是小K是持枪杀人凶手，那么他肯定有枪。小K有枪。所以，他是持枪杀人凶手。如是小K是持枪杀人凶手，那么他肯定有枪。小K不是持枪杀人凶手。所以，他肯定没有枪。为避免错误，制定了这样的规则：肯定后件不能肯定前件；否定前件不能否定后件。12/30/202233篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统规则：否定前件就要否定后件规则：肯定后件就要肯定前件关于关于的推理规则的推理规则12/

27、30/202234篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统关于关于的推理规则应用的推理规则应用(1)只有你学习努力，才能取得好成绩。你学习不努力，所以，你不能取得好成绩。其推理形式为：pq，p q(2)除非发生了意外情况，这趟列车不会停在这个地方。它既然停在这个地方，可见，发生了意外情况。其推理形式为：pq,q p12/30/202235篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统关于关于的推理的错误应用的推理的错误应用在日常思维中，关于的推理的错误应用，容易发生

28、的错误是:从AB和A推出B；从AB和 B推出 A。例如:只有小A在作案现场，他才是杀人凶手。有人证明小A在作案现场，所以，小A是杀人凶手。只有小A在作案现场，他才是杀人凶手。小A不是杀人凶手，所以，小A不在作案现场。为避免错误，制定了这样的规则：肯定前件不能肯定后件；否定后件不能否定前件。12/30/202236篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统关于关于的推理规则的推理规则12/30/202237篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统其他常见的推理其他

29、常见的推理1.1.假言易位推理：假言易位推理：AB AB B B A A；A A B BBB A A；A ABB B BAA2.二难推理：二难推理：简单构成式：简单构成式：AC,BC,AB CAC,BC,AB C 复杂构成式：复杂构成式：AC,BD,AB CDAC,BD,AB CD 简单破坏式：简单破坏式：AB,AC,AB,AC,B B C C A A 复杂破坏式复杂破坏式：AC,BD,AC,BD,C C D D A A B B3.3.假言三段论假言三段论：ABAB，BC ACBC AC4 4.反三段论：反三段论：(AB)C(A(AB)C(A C)C)B B (AB)C(B(AB)C(B C)

30、C)A A5 5.反证法：反证法：A ABB，A A B B A A6 6.归谬法：归谬法：ABAB，AA B B A A12/30/202238篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统第二章 命题逻辑第三节第三节：命题逻辑的自然演绎系统命题逻辑的自然演绎系统NPNP篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统自然演绎系统自然演绎系统NPNP 命题逻辑的自然演绎系统命题逻辑的自然演绎系统NPNP是由是由形式形式语语言言L L 和一组推导（变形）和一组推导（变形）规

31、则构成的。其中形式语言规则构成的。其中形式语言L L 包括包括初始符号初始符号、形成规则形成规则和和定义定义。一、初始符号一、初始符号(1)(1)甲类符号：甲类符号：p p1 1,p,p2 2,p,p3 3,；(2)(2)乙类符号：乙类符号：，；(3)(3)丙类符号：丙类符号：(，)。这些符号构成的有穷长的序列叫做符号串，例如这些符号构成的有穷长的序列叫做符号串，例如:p,pp,pqq，pq,pqpq,pq；(pq)r(pq)r，p(qr)p(qr)，其中其中p p、p p 都称都称 p p 的的子公式子公式。12/30/202240篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，

32、因此，篮球比赛的计时计分系统是一种得分类型的系统自然演绎系统自然演绎系统NPNP二、形成规则二、形成规则 (1)任何单个的命题变元p是合式公式；(2)如果A是合式公式，则A是合式公式；(3)如果A和B是合式公式，则AB、AB、AB是合式公式；只有（1）-（3）形成的符号串是合式公式。三、定义三、定义：用来表示用来表示缩缩写的，定写的，定义义两两边边的符号串可以相互代替。的符号串可以相互代替。如：(AB)=df(AB)(BA)。形式语言L L 的全体合式公式记为Form(L L )。形式语言L L 是我们的研究对象，叫对象语言。讨论对象语言的语言叫元语言或语法语言。12/30/202241篮球比

33、赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统的推导规则系统的推导规则1.合取引入规则(记为+)：从A和B推出AB；2.合取消去规则(记为_):从AB推出A；从AB推出B；3.析取引入规则(记为+)：从A推出AB；从B推出AB；4.析取消去规则(记为_):从AB和A推出B；从AB和B推出A；5.蕴涵引入规则(记为+)：如果从公式集和A推出B，则从推出AB；6.蕴涵消去规则(记为_)：从AB和A推出B；7.否定消去规则(记为_)：如果从和A推出BB，则从推出A。又称条件证明规则或演绎定理，是把从推出AB的推理转化为从和临时的假设A推

34、出B的推理。(即移出律)又称间接证明或反证法，是把由推出A的推理转化为由和临时的假设A推出BB的推理。12/30/202242篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统系统有前提的形式推演有前提的形式推演 一个有穷的公式序列B1,B2,，Bm是从前提集(不是空集)到结论B的有前提的形式推演，如果每一个公式Bi(1im)满足以下条件之一：(1)Bi(即Bi是前提集中的一个公式)；(2)Bi是一个据+或-临时引入的假设；(3)Bi是该序列中在前的若干公式应用NP系统的推导规则得到的公式；(4)B=Bm。则我们称和B具有语法推

35、出关系，B从中可演绎的，或者说，从可以推出B，记为：NPB。12/30/202243篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系 我们以T1，T2，来给由基本推导规则确立的语法推出关系的编号，用(1)，(2)，(m)给形式推理过程中的公式序列中的每一个公式编号。T1 A A(肯定前提)(1)A 前提A既是该序列的第1个公式，也是第m个公式(m=1)。T2 A，B A (肯定前提)T3 A，B B(1)A A1(2)B A2B是第2个公式，也是第m个公式(m=2)。12/30/

36、202244篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系12/30/202245篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T8:AB,A B(1)AB A1(2)A A2(3)B (1)，(2)，_T9(假言三段论，记为H.S.)：AB，BC AC(1)AB A1(2)BC A2 (3)A H1(+的假设)(4)B (1)，(3)，_ (5)C (2)，(

37、4)，_(6)AC (3)(5)，+(消去H1)12/30/202246篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T10(双重否定消去规则，记为_)：AA(1)(1)A A (2)A H（_的假设）(3)AA (1)，(2)，+(4)A (2)(3)，_(消去H)T11(双重否定引入规则，记为+):AA(1)A A (2)A H（_的假设）(3)A (2)，_ (4)AA (1)，(3)，+(5)A (2)(4)，_（消去H）12/30/202247篮球比赛是根据运动队在规

38、定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T12 A，BT13，A B只证T12：(1)A A1(2)A A2(3)AB (1),+(4)B (3)，(2)，_T14 AB，AB A(归谬法，记为+)(1)AB A1(2)AB A2 (3)A H1(_的假设)(4)A (3)，_ (5)B (1)，(4)，_ (6)B (2)，(4)，_ (7)BB (5)，(6)，+(8)A (3)(7)，_（消去H1）12/30/202248篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮

39、球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T15(a)AB BA(假言易位)T15(b)BA AB 只证T5(a)：(1)AB A (2)B H1（+的假设）(3)A H2(_的假设)(4)A (3)，_ (5)B (1)，(4)，_ (6)BB (2)，(5)，+(7)A (3)(6)，_（消去H2）(8)BA (2)(7)，+（消去H1）T15(c)ABBAT15(d)ABBA12/30/202249篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(

40、语形语形)推出关系推出关系可可证证等价关系等价关系也称演绎等值关系,如果A B且BA，A和B就具有可证等价关系，记为AB。据T15(a)和T15(b)，有如下可证等价关系：ABBA。可可证证等价置等价置换规则换规则(记为RP)：如果AB，则在A出现的公式C中(即A是C的子公式)，可以用B代替A，在B出现的公式C中(即B是C的子公式)，可以用A代替B。12/30/202250篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T T1616 AB AB，B B A(A(否定后件否定后件

41、,记为记为M.T.)M.T.)(1)AB A(1)AB A1 1(2)(2)B B A A2 2(3)(3)B B A A (1)(1)，R RP P(4)(4)A A (2)(2)，(3)(3)，_T T1717 AB AB，ACAC，BC C(BC C(二难推理二难推理,记为记为D.C.)D.C.)(1)AB A(1)AB A1 1(2)AC A(2)AC A2 2(3)BC A(3)BC A3 3 (4)(4)C C H H1 1（_ _的假设）的假设）(5)(5)A A (2)(2)，(4)(4)，M MT T (6)B (1)(6)B (1)，(5)(5)，_ (7)C (3)(7)

42、C (3)，(6)(6)，_ (8)C (8)C C C (4)(4)，(7)(7)，+(9)C (4)(9)C (4)(8)(8)，_ _（消去（消去H H1 1）12/30/202251篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T18(a)(AB)A B(记为DeM.)T18(b)(AB)A B(记为DeM.)T19(a)(AB)AT19(b)(AB)BT20(a)A(AB)T20(b)B(AB)12/30/202252篮球比赛是根据运动队在规定的比赛时间里得分多少来决

43、定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T18(a)(AB)A B的证明的证明先证(AB)AB:(1)(AB)A (2)(AB)H1(_的假设)(3)A H2(_的假设)(4)AB (3)，+(5)(AB)(AB)(2),(4),+(6)A (3)(5),_(消去H2)(7)B H3(_的假设)(8)AB (7)，+(9)(AB)(AB)(2)，(8)，+(10)B (7)(9)，_(消去H3)(11)AB (6)，(10),+(12)(AB)(AB)(1)，(11),+(13)AB (2)(12)，_(消去H1)12/

44、30/202253篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T18(a)(AB)A B的证明的证明再证AB(AB)：(1)AB A (2)(AB)H(_的假设)(3)AB (2)，_ (4)A (3)，_ (5)B (3)，_ (6)A (4)，+(7)B (1),(6),_ (8)BB (5),(7),+(9)(AB)(2)(8),_(消去H)12/30/202254篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系

45、统NP系统中的语法系统中的语法(语形语形)推出关系推出关系交换律T21(a)ABBAT21(b)ABBA结合律T22(a)A(BC)(AB)CT22(b)A(BC)(AB)C分配律T23(a)A(BC)(AB)(AC)T23(b)A(BC)(AB)(AC)12/30/202255篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T21(b)ABBA的证明的证明先证AB BA(1)AB A (2)A H1(+的假设)(3)BA (2)，+(4)ABA (2)(3)，+（消去H1）(5

46、)B H2(+的假设)(6)BA (5)，+(7)BBA (5)(6)，+（消去H2）(8)BA (1)，(4)，(7)，D.C.同理，可证BAAB。12/30/202256篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T24(a)AB(AB)T24(b)(B)ABT25(a)ABAB(蕴析律)T25(b)ABAT26(a)(AB)AT26(b)A(A)T27(a)A(A)T27(b)A(A)T28(b)AB,AC,BCA(二难推理)T28(c)AC，BD，ABBDT28(d)

47、AC，BD，CDAB12/30/202257篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T29(a)ABCACB(反三段论)T29(b)ABCBCAT30 ABC A(BC)(条件输出)T31 A(BC)ABC(条件输入)T32 A(BC)B(AC)(条件互易)T33 A(BC)(AB)(AC)T34 A(AB)AB(条件融合)T35(a)AB ACBC(前件附加)T35(b)AB ACBCT35(c)AB(CA)(CB)T36（AB）C BC 12/30/202258篮球比

48、赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系T37 AB，BA AB (+)T38(a)AB AB(_)T38(b)AB BAT39 AC,BC ABC(前件合取)T40 AB,AC ABC(后件合取)T41 ABC(AC)(BC)T42 ABC(AC)(BC)T43 ABC(AB)(AC)T44 ABC(AB)(AC)12/30/202259篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语

49、形语形)推出关系推出关系应用实例应用实例(一一)如果不换8号上场（p），或者换12号上场(q)，甲队的形势不会好转(r)。教练没有换8号上场，也没有换12号上场。所以，甲队的形势不会好转。首先，将前提和结论形式化：A1：(pq)r A2：pq B：r(1)(pq)r A1(2)pq A2(3)(pq)(2)，DeM.(4)r (1)，(3)，_12/30/202260篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统NP系统中的语法系统中的语法(语形语形)推出关系推出关系应用实例应用实例(二二)如果线段L有存在无穷多个点，那么，如果这些

50、点有长度，则线段L将无穷长，而且，如果这些点都没有长度,则线段L也不会有长度。但是，一条线段既不会无穷长,也不会没有长度。所以L上不会有无穷多个点。前题和结论符号化：A1：p(qr)(qs)A2：rsB：p12/30/202261篮球比赛是根据运动队在规定的比赛时间里得分多少来决定胜负的，因此，篮球比赛的计时计分系统是一种得分类型的系统(1)p(qr)(qs)A1(2)rs A2 (3)p H（_的假设)(4)p (3),_ (5)(qr)(qs)(1)，(4)，_ (6)qr (5),_ (7)qs (5),_ (8)r (2),_ (9)s (2),_ (10)q (6),(8),M.T.