逻辑学北大课021.pptx
《逻辑学北大课021.pptx》由会员分享,可在线阅读,更多相关《逻辑学北大课021.pptx(92页珍藏版)》请在咨信网上搜索。
1、主讲人:何向东-进入-第二章 命题逻辑第一第一节 命命题逻辑概述概述11 八月 20243命题命题(1)西南大学在重庆。(2)闪光的东西都是金子。(3)如果小王有作案动机,那么他就会作案。符合实际的命题是真命题,不符合实际的命题是假命题。上述(1)是真命题;而(2)、(3)是假命题。命题是通过语句来反映事物情况的思维形态命题是通过语句来反映事物情况的思维形态。例如:例如:命题的命题的主要特征:主要特征:命题有真假命题有真假11 八月 20244命题和语句命题和语句首先,有的语句不能直接表达命题,如:(1)西南大学在重庆吗?(2)请把门关上!一般来讲:陈述句与反诘句可以直接表达命题。其次,同一命
2、题可以用不同的语句来表达,如:“所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。此外,同一命题可用不同的民族语言的语句来表达。再次,同一语句,可以表达不同的命题,如:小张将书还给小王,因为他要回家了。任何命题都是通过语句来表达的,但语句和命题并非一一对应:任何命题都是通过语句来表达的,但语句和命题并非一一对应:语句语句(陈述句和反诘句陈述句和反诘句)有有内涵内涵也有也有外延外延:语句的内涵语句的内涵即它表达的命题;即它表达的命题;语句的外延语句的外延即真、假这两个真值。即真、假这两个真值。采用这种观点的逻辑理论,称为采用这种观点的逻辑理论,称为二值外延逻辑或经典逻辑。二值外延逻辑或经典逻辑
3、。逻辑学上所说的命题,一般指这种或者逻辑学上所说的命题,一般指这种或者为真或者为假的抽象语句。为真或者为假的抽象语句。11 八月 20245命题和判断命题和判断 一个命题是否能成为判断,与断定者的知识、立场等有关。如:“杜甫是伟大的诗人”能否被断定就与断定者的知识水平有很大关系。充分假言命题被断定是前后件的关系,而不是支命题。如:“如果物体受到摩擦,那么物体发热”这个命题,我们既没有断定“物体受到摩擦”,也没有断定“物体发热”,我们所断定的只是前件是后件的充分条件。判断:判断:就是被断定者断定了的命题。就是被断定者断定了的命题。判断的主要特征:判断的主要特征:有所断定。有所断定。11 八月 2
4、0246命题的分类命题的分类模态命题命题非模态命题简单命题复合命题11 八月 20247命题分析的层次命题分析的层次将联结词所联结的命题作为一个完整的单位来看待研究关于联结词的推理(命题逻辑)深入到命题内部,把命题分析为主项、谓项、量项和联项研究关于量项和联项的推理(传统词项逻辑)深入到命题内部,把命题分析为个体词、谓词、量词及联结词研究关于量词的推理(现代谓词逻辑)把命题中包含的模态词分析出来研究关于模态词的推理(模态逻辑)11 八月 20248逻辑语形学与逻辑语义学逻辑语形学与逻辑语义学逻辑语形逻辑语形(语法语法)学学:研究符号与符号关系的逻辑理论。研究符号与符号关系的逻辑理论。逻辑语义学
5、逻辑语义学:研究符号及其解释的逻辑理论,如研究符号及其解释的逻辑理论,如:把把p p、q q、r r解释为取解释为取真假值的命题变元真假值的命题变元,把把、解释为真值集上的运算解释为真值集上的运算,把把pqpq、pqpq、pqpq解释为真值函数的表达式。解释为真值函数的表达式。推理是由前提和结论组成的,前提和结论之间的关系称为推出(推论、推理是由前提和结论组成的,前提和结论之间的关系称为推出(推论、推理)关系。例如:推理)关系。例如:小王既有缺点,又有优点,所以,小王有优点。小王既有缺点,又有优点,所以,小王有优点。在推理中,前提是在推理中,前提是“小王既有缺点,又有优点小王既有缺点,又有优点
6、”,结论是,结论是“小王有小王有优点优点”,“所以所以”标志前提和结论之间的推出关系。标志前提和结论之间的推出关系。推理形式:推理形式:p且且q,所以,所以,q。逻辑学是从语形和语义两个方面来研究推理的:逻辑学是从语形和语义两个方面来研究推理的:(1)(1)从前提和结论的形式方面进行从前提和结论的形式方面进行 (2)(2)从前提和结论的真假方面进行从前提和结论的真假方面进行 语形和语义对推出关系的双重刻画语形和语义对推出关系的双重刻画第二章 命题逻辑第二第二节 复合命复合命题及其推理及其推理11 八月 202410负命题负命题(1)并非选修逻辑的学生都是文科生。(2)这个班的学生不都学英语。(
7、3)如果它是三角形,则内角和等于180,这个观点不对。注:负命题的支命题可以是简单命题,也可以是复合命题。负命题的形式负命题的形式:p。其中p称为的辖域。负命题的逻辑性质:负命题的逻辑性质:负命题的真假与被否定的命题的真假是相反的。负命题由否定联结词负命题由否定联结词(如如“并非并非”)联结支命题而形成的复合命联结支命题而形成的复合命题。例如:题。例如:11 八月 202411负命题负命题真值表:真值表:真值集合只有两个元素真值集合只有两个元素T,F,其中,其中T表示命题为真,而表示命题为真,而F表示命表示命题为假。因此,可用列表的方式表示真值运算的过程,这种表称为题为假。因此,可用列表的方式
8、表示真值运算的过程,这种表称为真值表真值表。真值函数:真值函数:当当p在真值集合在真值集合T,F上取真值后,上取真值后,p 的真值也唯一确定。所的真值也唯一确定。所以,以,p是是p的函数,表达形式为的函数,表达形式为f(p)=p,这种函数称,这种函数称真值函数真值函数。的真值表如下:的真值表如下:F FT Tp pp p 根据这个真值表,也可以给f(p)=p这个一元真值函数作如下定义:p为真当且仅当p为假;p为假当且仅当p为真。T TF F真值表的作用11 八月 202412负命题负命题根据负命题的逻辑性质,可对根据负命题的逻辑性质,可对p再否定得到再否定得到p,其真值与,其真值与p相同,真值
9、表如下:相同,真值表如下:F FT TF FT TF FT Tp pp pp p由上真值表知,对任意公式A,有等值关系:A A负命题的推导规则负命题的推导规则:双重否定引入规则(+):从A可推出A。图示:AA双重否定消去规则(-):从A可推出A。图示:AA11 八月 202413联言命题联言命题(1)小张歌唱得好并且舞跳得好。(2)这样建立的逻辑系统既有可靠性,又有完全性。联言命题的形式:联言命题的形式:p并且q(pq)。p称为的左辖域,q称为的右辖域。p q是二元真值函数:是二元真值函数:f(p,q)=pq。是在两个真值变元p和q上进行运算的二元运算。联言命题是由联言联结词联言命题是由联言联
10、结词(如如“并且并且”)联结支命题而联结支命题而形成的复合命题,又称合取命题。例如:形成的复合命题,又称合取命题。例如:11 八月 202414F FF FT TF FF FT TT TT Tpqpqq qp p从上表可以得出联言命题的逻辑性质:当p、q同时为真时,pq才为真;只要p、q其中一个为假,则pq为假。合取词的真值表T TF FF FF F由由的真值表的真值表,可得出可得出运算的规律运算的规律:(1)的交换律:的交换律:p qq p(2)的结合律:的结合律:p(q r)(p q)r(3)的重言(幂等)律:的重言(幂等)律:p pp11 八月 202415合取引入规则(合取引入规则(+
11、):从):从A A和和B B可推出可推出ABAB。图示如下:。图示如下:AB A B合取消去规则(合取消去规则(-):从):从ABAB可推出可推出A A,从,从ABAB可推出可推出B B。图示如下:。图示如下:AB AB A B小张喜爱音乐,小张喜爱体育,所以,小张不但喜爱音乐,也喜爱体育。根据+作出一个形式正确的推理,推理形式为:p,q pq。小张既有优点,也有缺点,所以,小张是有优点的。根据_作出一个形式正确的推理,推理形式为:pq p。联言命题的推导规则11 八月 202416选言命题选言命题选言命题分为选言命题分为“相容选言命题相容选言命题”和和“不相容选言命题不相容选言命题”两种。两
12、种。相容选言命题的选言支可以同时为真,如:相容选言命题的选言支可以同时为真,如:(1)小王或者是班干部,或者是学生会干部(二者可以得兼)。(2)这份统计材料,或者是原始材料有错误,或者是计算有错误,或者两种情况都存在。而不相容选言命题的选言支不能同时为真,如:而不相容选言命题的选言支不能同时为真,如:(1)鱼,我所欲也,熊掌,亦我所欲也,二者不可得兼。(2)要么选老王当村长,要么选小李当村长。选言命题用选言联结词联结支命题而形成的复合命题。选言命题用选言联结词联结支命题而形成的复合命题。11 八月 202417相容选言命题的形式:相容选言命题的形式:p或者q(pq)的真值表:的真值表:相容选言
13、命题的逻辑特征:相容选言命题的逻辑特征:相容选言命题为真,则它的选言支至少有一个为真;反过来讲,当选言命题至少有一个选言支为真,选言命题一定为真。F FF FT TF FF FT TT TT Tp pq qq qp pT TF FT TT T相容选言命题及推理相容选言命题及推理11 八月 202418 的运算规律的运算规律和和的混合运算规律的混合运算规律(1)对的分配律:p(qr)(pq)(pr)。(2)对的分配律:p(qr)(pq)(pr)。(3)吸收律:p(pq)p;p(pq)p。(4)德摩根律:(pq)pq;(pq)pq。(1)的交换律:pq qp,(2)的结合律:p(qr)(pq)r(
14、3)的重言律:pp p。11 八月 202419用真值表检验德用真值表检验德摩根律:摩根律:从上真值表,可得:(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 p11 八月 202420析取消去规则析取消去规则()从从A B和和A可推出可推出B
15、;从;从A B和和B可推出可推出A。AB AB A B B A (只讨论有两个选言支的选言命题,下同)(只讨论有两个选言支的选言命题,下同)析取消去规则的应用实例:析取消去规则的应用实例:或者李某是嫌疑犯,或者王某是嫌疑犯(或者二者都是);李某不是嫌疑犯;所以,王某是嫌疑犯。其推理形式为:pq,p q肯定一个选言支,不能否定另一个选言支。下述推理形式均错误:AB,A B;AB,B A 规则:否定一个选言支,就要肯定另一个选言支。11 八月 202421析取引入规则析取引入规则(记为记为):从A可推出AB;从B可推出AB。A B AB AB 析取析取引入引入规则的应用实例:规则的应用实例:小王是
16、医生;所以,小王是医生,或者小王是教师。其推理形式为:p pq11 八月 202422FFTFFTTTp qqp的真值表的真值表的运算规律的运算规律的交换律:pq qP(q r)(p q)的结合律:prFTTF形式:形式:要么p,要么q(pq)qdf(pq)(pq)p不相容选言命题及推理逻辑性质:不相逻辑性质:不相容选言命题为真,容选言命题为真,当且仅当两个选当且仅当两个选言支有且只有一言支有且只有一个为真。个为真。11 八月 202423消去规则消去规则(记为记为 _):从A B和A可推出B;从A B和B可推出A;A BA B A BB A从A B和 A可推出B;从A B和 B可推出A;A
17、B A B A B B A11 八月 202424假言命题假言命题(1)如果寒潮到来,那么气温就会下降。(2)只有你去,我才放心。(3)人不犯我,我不犯人,人若犯我,我必犯人。在(在(1)、()、(2)中由)中由“如果如果”、“只有只有”引出的支引出的支命题称为前件命题称为前件,由,由“那么那么”、“才才”引出的支命题引出的支命题称为后件。称为后件。假言命题的种类假言命题的种类一、充分条件假言命题二、必要条件假言命题三、充分必要条件假言命题 假言命题假言命题是由假言联结词是由假言联结词(如如“如果,那么如果,那么”、“只有,只有,才才”、“当且仅当当且仅当”等等)联结支命题而形成的复合命题联结
18、支命题而形成的复合命题,例如:例如:11 八月 202425充分条件假言命题(1)如果你不断地坚持锻炼,你的身体就会康复。(2)假如语言能创造财富,那么,夸夸其谈的人就会成为世界上最富有的人。充分条件假言命题的充分条件假言命题的形式形式:如果p,那么q(pq)在蕴涵式pq中,p称为的前件(左辖域),q称为的后件(右辖域)。充分条件假言命题亦称条件命题或者实质蕴涵命题充分条件假言命题亦称条件命题或者实质蕴涵命题,是用是用“如果,那么如果,那么”等联结词联结前、后件形成的假言命题,例如:等联结词联结前、后件形成的假言命题,例如:11 八月 202426的真值表的真值表 充分条件假言命题的逻辑性质是
19、:充分条件假言命题的逻辑性质是:除了前件为真而后件为假时充分条件假言命题是假的以外,在其它三种情况下,充分条件假言命题都是真的。F FF FT TF FF FT TT TT Tp p q qq qp pT TT TT TF F11 八月 202427必要条件假言命题(1)只有由细菌引起的疾病,才能用抗生素治疗。(2)我不去,除非你去。必要条件假言命题的必要条件假言命题的形式形式:只有p,才q(pq)用用“只有,才只有,才”联结前、后件形成的假言命题,例如:联结前、后件形成的假言命题,例如:在蕴涵式pq中,p称为的前件(左辖域),q称为的后件(右辖域)。11 八月 202428的真值表的真值表必
20、要条件假言命题的逻辑性质是:必要条件假言命题的逻辑性质是:除了前件为假而后件为真时充分条件假言命题是假的之外,其它情况下,充分条件假言命题都是真的。p pq qp p q qT TT TT TT TF FT TF FT TF FF FF FT T11 八月 202429充分必要条件假言命题(1)a和b平行,当且仅当它们的同位角相等。(2)人不犯我,我不犯人;人若犯我,我必犯人。充要条件假言命题的形式:充要条件假言命题的形式:p当且仅当q(pq)在充要条件式pq中,称p为的前件(左辖域),称q为 的后件(右辖域)。充分必要条件假言命题又称双条件命题,简称充要条件充分必要条件假言命题又称双条件命题
21、,简称充要条件假言命题,是用假言命题,是用“当且仅当当且仅当”等作为联结词的命题,例等作为联结词的命题,例如:如:11 八月 202430的真值表的真值表的逻辑性的逻辑性质:质:当p和q的真值相同时,pq的真值为真;当p和q的真值不相同时,pq的真值为假。除上述已有规则外,、还有一些运算规律F FF FT TF FF FT TT TT Tp p q qq qp pF FF FT TT T11 八月 202431关于关于的推理规则的推理规则(1)蕴涵消去规则,也称分离规则(略缩为M.P.)或肯定前件式(记为_)从AB和A可推出B。图示:ABAB (2)否定后件式(略缩为M.T.)从AB和B可推出
22、A。图示:AB B A规则:肯定前件就要肯定后件规则:否定后件就要否定前件11 八月 202432关于关于的推理规则的应用的推理规则的应用(1)如果甲方付给了定金,乙方就得按时发货。甲方已付给了定金。所以乙方得按时发货。其推理形式为:p q,p q(2)如果这部电影受观众欢迎,那么买票的人就多。买票的人不多。所以这部电影不受观众欢迎。其推理形式为:p q,q p规则:肯定前件就要肯定后件规则:否定后件就要否定前件11 八月 202433关于关于的推理的错误应用的推理的错误应用在日常思维中,关于的推理,容易发生的错误是:从AB和B推出A;从AB和 A推出 B。例如如是小K是持枪杀人凶手,那么他肯
23、定有枪。小K有枪。所以,他是持枪杀人凶手。如是小K是持枪杀人凶手,那么他肯定有枪。小K不是持枪杀人凶手。所以,他肯定没有枪。为避免错误,制定了这样的规则:肯定后件不能肯定前件;否定前件不能否定后件。11 八月 202434 (2)肯定后件规则:从AB和B可推出A 图示:A BBA(1)否定前件规则:从AB和A可推出B图示:A BAB规则:否定前件就要否定后件规则:肯定后件就要肯定前件关于关于的推理规则的推理规则11 八月 202435关于关于的推理规则应用的推理规则应用(1)只有你学习努力,才能取得好成绩。你学习不努力,所以,你不能取得好成绩。其推理形式为:pq,p q(2)除非发生了意外情况
24、,这趟列车不会停在这个地方。它既然停在这个地方,可见,发生了意外情况。其推理形式为:pq,q p11 八月 202436关于关于的推理的错误应用的推理的错误应用在日常思维中,关于的推理的错误应用,容易发生的错误是:从AB和A推出B;从AB和 B推出 A。例如:只有小A在作案现场,他才是杀人凶手。有人证明小A在作案现场,所以,小A是杀人凶手。只有小A在作案现场,他才是杀人凶手。小A不是杀人凶手,所以,小A不在作案现场。为避免错误,制定了这样的规则:肯定前件不能肯定后件;否定后件不能否定前件。11 八月 202437关于关于的推理规则的推理规则(1)等值引入规则(记为+):从AB和BA可推出AB。
25、图示:ABBAAB(2)等值消去规则(记为):从AB可推出AB;从AB可推出BA。图示:ABABABBA11 八月 202438其他常见的推理其他常见的推理1.1.假言易位推理:假言易位推理:ABAB B B A A;AA 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.假言三段论假言三段
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 逻辑学 北大 021
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【丰****】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【丰****】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。