逻辑学(北大课)02课件.pptx
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《逻辑学(北大课)02课件.pptx》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 逻辑学 北大 02 课件
- 资源描述:
-
1、主讲人:何向东-进入-第二章 命题逻辑第一节第一节 命题逻辑概述命题逻辑概述2023年5月10日星期三3命题命题(1)西南大学在重庆。(2)闪光的东西都是金子。(3)如果小王有作案动机,那么他就会作案。符合实际的命题是真命题,不符合实际的命题是假命题。上述(1)是真命题;而(2)、(3)是假命题。命题是通过语句来反映事物情况的思维形态命题是通过语句来反映事物情况的思维形态。例如:例如:命题的命题的主要特征:主要特征:命题有真假命题有真假2023年5月10日星期三4命题和语句命题和语句首先,有的语句不能直接表达命题,如:(1)西南大学在重庆吗?(2)请把门关上!一般来讲:陈述句与反诘句可以直接表
2、达命题。其次,同一命题可以用不同的语句来表达,如:“所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。此外,同一命题可用不同的民族语言的语句来表达。再次,同一语句,可以表达不同的命题,如:小张将书还给小王,因为他要回家了。任何命题都是通过语句来表达的,但语句和命题并非一一对应:任何命题都是通过语句来表达的,但语句和命题并非一一对应:语句语句(陈述句和反诘句陈述句和反诘句)有有内涵内涵也有也有外延外延:语句的内涵语句的内涵即它表达的命题;即它表达的命题;语句的外延语句的外延即真、假这两个真值。即真、假这两个真值。采用这种观点的逻辑理论,称为采用这种观点的逻辑理论,称为二值外延逻辑或经典逻辑。二
3、值外延逻辑或经典逻辑。逻辑学上所说的命题,一般指这种或者逻辑学上所说的命题,一般指这种或者为真或者为假的抽象语句。为真或者为假的抽象语句。2023年5月10日星期三5命题和判断命题和判断 一个命题是否能成为判断,与断定者的知识、立场等有关。如:“杜甫是伟大的诗人”能否被断定就与断定者的知识水平有很大关系。充分假言命题被断定是前后件的关系,而不是支命题。如:“如果物体受到摩擦,那么物体发热”这个命题,我们既没有断定“物体受到摩擦”,也没有断定“物体发热”,我们所断定的只是前件是后件的充分条件。判断:判断:就是被断定者断定了的命题。就是被断定者断定了的命题。判断的主要特征:判断的主要特征:有所断定
4、。有所断定。2023年5月10日星期三6命题的分类命题的分类模态命题命题非模态命题简单命题复合命题2023年5月10日星期三7命题分析的层次命题分析的层次将联结词所联结的命题作为一个完整的单位来看待研究关于联结词的推理(命题逻辑)深入到命题内部,把命题分析为主项、谓项、量项和联项研究关于量项和联项的推理(传统词项逻辑)深入到命题内部,把命题分析为个体词、谓词、量词及联结词研究关于量词的推理(现代谓词逻辑)把命题中包含的模态词分析出来研究关于模态词的推理(模态逻辑)2023年5月10日星期三8逻辑语形学与逻辑语义学逻辑语形学与逻辑语义学逻辑语形逻辑语形(语法语法)学学:研究符号与符号关系的逻辑理
5、论。研究符号与符号关系的逻辑理论。逻辑语义学逻辑语义学:研究符号及其解释的逻辑理论,如研究符号及其解释的逻辑理论,如:把把p p、q q、r r解释为取解释为取真假值的命题变元真假值的命题变元,把把、解释为真值集上的运算解释为真值集上的运算,把把pqpq、pqpq、pqpq解释为真值函数的表达式。解释为真值函数的表达式。推理是由前提和结论组成的,前提和结论之间的关系称为推出(推论、推理是由前提和结论组成的,前提和结论之间的关系称为推出(推论、推理)关系。例如:推理)关系。例如:小王既有缺点,又有优点,所以,小王有优点。小王既有缺点,又有优点,所以,小王有优点。在推理中,前提是在推理中,前提是“
6、小王既有缺点,又有优点小王既有缺点,又有优点”,结论是,结论是“小王有小王有优点优点”,“所以所以”标志前提和结论之间的推出关系。标志前提和结论之间的推出关系。推理形式:推理形式:p且且q,所以,所以,q。逻辑学是从语形和语义两个方面来研究推理的:逻辑学是从语形和语义两个方面来研究推理的:(1)(1)从前提和结论的形式方面进行从前提和结论的形式方面进行 (2)(2)从前提和结论的真假方面进行从前提和结论的真假方面进行 语形和语义对推出关系的双重刻画语形和语义对推出关系的双重刻画第二章 命题逻辑第二节第二节 复合命题及其推理复合命题及其推理2023年5月10日星期三10负命题负命题(1)并非选修
7、逻辑的学生都是文科生。(2)这个班的学生不都学英语。(3)如果它是三角形,则内角和等于180,这个观点不对。注:负命题的支命题可以是简单命题,也可以是复合命题。负命题的形式负命题的形式:p。其中p称为的辖域。负命题的逻辑性质:负命题的逻辑性质:负命题的真假与被否定的命题的真假是相反的。负命题由否定联结词负命题由否定联结词(如如“并非并非”)联结支命题而形成的复合命联结支命题而形成的复合命题。例如:题。例如:2023年5月10日星期三11负命题负命题真值表:真值表:真值集合只有两个元素真值集合只有两个元素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真值表的作用2023年5月10日星期三12负命题负命题根据负命题的逻辑性质,可对根据负命题的逻辑
9、性质,可对p再否定得到再否定得到p,其真值与,其真值与p相同,真值表如下:相同,真值表如下:F FT TF FT TF FT Tp pp pp p由上真值表知,对任意公式A,有等值关系:A A负命题的推导规则负命题的推导规则:双重否定引入规则(+):从A可推出A。图示:AA双重否定消去规则(-):从A可推出A。图示:AA2023年5月10日星期三13联言命题联言命题(1)小张歌唱得好并且舞跳得好。(2)这样建立的逻辑系统既有可靠性,又有完全性。联言命题的形式:联言命题的形式:p并且q(pq)。p称为的左辖域,q称为的右辖域。pq是二元真值函数:是二元真值函数:f(p,q)=pq。是在两个真值变
10、元p和q上进行运算的二元运算。联言命题是由联言联结词联言命题是由联言联结词(如如“并且并且”)联结支命题而联结支命题而形成的复合命题,又称合取命题。例如:形成的复合命题,又称合取命题。例如:2023年5月10日星期三14F FF FT TF FF FT TT TT Tpqpqq qp p从上表可以得出联言命题的逻辑性质:当p、q同时为真时,pq才为真;只要p、q其中一个为假,则pq为假。合取词的真值表T TF FF FF F由由的真值表的真值表,可得出可得出运算的规律运算的规律:(1)的交换律:的交换律:pqqp(2)的结合律:的结合律:p(qr)(pq)r(3)的重言(幂等)律:的重言(幂等
11、)律:ppp2023年5月10日星期三15合取引入规则(合取引入规则(+):从):从A A和和B B可推出可推出ABAB。图示如下:。图示如下:AB AB合取消去规则(合取消去规则(-):从):从ABAB可推出可推出A A,从,从ABAB可推出可推出B B。图示如下:。图示如下:AB AB A B小张喜爱音乐,小张喜爱体育,所以,小张不但喜爱音乐,也喜爱体育。根据+作出一个形式正确的推理,推理形式为:p,q pq。小张既有优点,也有缺点,所以,小张是有优点的。根据_作出一个形式正确的推理,推理形式为:pq p。联言命题的推导规则2023年5月10日星期三16选言命题选言命题选言命题分为选言命题
12、分为“相容选言命题相容选言命题”和和“不相容选言命题不相容选言命题”两种。两种。相容选言命题的选言支可以同时为真,如:相容选言命题的选言支可以同时为真,如:(1)小王或者是班干部,或者是学生会干部(二者可以得兼)。(2)这份统计材料,或者是原始材料有错误,或者是计算有错误,或者两种情况都存在。而不相容选言命题的选言支不能同时为真,如:而不相容选言命题的选言支不能同时为真,如:(1)鱼,我所欲也,熊掌,亦我所欲也,二者不可得兼。(2)要么选老王当村长,要么选小李当村长。选言命题用选言联结词联结支命题而形成的复合命题。选言命题用选言联结词联结支命题而形成的复合命题。2023年5月10日星期三17相
13、容选言命题的形式:相容选言命题的形式:p或者q(pq)的真值表:的真值表:相容选言命题的逻辑特征:相容选言命题的逻辑特征:相容选言命题为真,则它的选言支至少有一个为真;反过来讲,当选言命题至少有一个选言支为真,选言命题一定为真。F FF FT TF FF FT TT TT Tp pq qq qp pT TF FT TT T相容选言命题及推理相容选言命题及推理2023年5月10日星期三18的运算规律的运算规律和和的混合运算规律的混合运算规律(1)对的分配律:p(qr)(pq)(pr)。(2)对的分配律:p(qr)(pq)(pr)。(3)吸收律:p(pq)p;p(pq)p。(4)德摩根律:(pq)
14、pq;(pq)pq。(1)的交换律:pq qp,(2)的结合律:p(qr)(pq)r(3)的重言律:pp p。2023年5月10日星期三19用真值表检验德用真值表检验德摩根律:摩根律:从上真值表,可得:(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
15、 qp p2023年5月10日星期三20析取消去规则析取消去规则()从从AB和和A可推出可推出B;从;从AB和和B可推出可推出A。AB AB A B B A (只讨论有两个选言支的选言命题,下同)(只讨论有两个选言支的选言命题,下同)析取消去规则的应用实例:析取消去规则的应用实例:或者李某是嫌疑犯,或者王某是嫌疑犯(或者二者都是);李某不是嫌疑犯;所以,王某是嫌疑犯。其推理形式为:pq,p q肯定一个选言支,不能否定另一个选言支。下述推理形式均错误:AB,A B;AB,B A 规则:否定一个选言支,就要肯定另一个选言支。2023年5月10日星期三21析取引入规则析取引入规则(记为记为):从A可
16、推出AB;从B可推出AB。A B AB AB 析取析取引入引入规则的应用实例:规则的应用实例:小王是医生;所以,小王是医生,或者小王是教师。其推理形式为:p pq2023年5月10日星期三22FFTFFTTTp qqp的真值表的真值表的运算规律的运算规律的交换律:pq qP(q r)(p q)的结合律:prFTTF形式:形式:要么p,要么q(pq)qdf(pq)(pq)p不相容选言命题及推理逻辑性质:不相逻辑性质:不相容选言命题为真,容选言命题为真,当且仅当两个选当且仅当两个选言支有且只有一言支有且只有一个为真。个为真。2023年5月10日星期三23消去规则消去规则(记为记为 _):从A B和
17、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 A2023年5月10日星期三24假言命题假言命题(1)如果寒潮到来,那么气温就会下降。(2)只有你去,我才放心。(3)人不犯我,我不犯人,人若犯我,我必犯人。在(在(1)、()、(2)中由)中由“如果如果”、“只有只有”引出的支引出的支命题称为前件命题称为前件,由,由“那么那么”、“才才”引出的支命题引出的支命题称为后件。称为后件。假言命题的种类假言命题的种类一、充分条件假言命题二、必要条件假言命题三、充分必要条件假言命题 假言命题假言命题是由假言联结词是由假
18、言联结词(如如“如果,那么如果,那么”、“只有,只有,才才”、“当且仅当当且仅当”等等)联结支命题而形成的复合命题联结支命题而形成的复合命题,例如:例如:2023年5月10日星期三25充分条件假言命题(1)如果你不断地坚持锻炼,你的身体就会康复。(2)假如语言能创造财富,那么,夸夸其谈的人就会成为世界上最富有的人。充分条件假言命题的充分条件假言命题的形式形式:如果p,那么q(pq)在蕴涵式pq中,p称为的前件(左辖域),q称为的后件(右辖域)。充分条件假言命题亦称条件命题或者实质蕴涵命题充分条件假言命题亦称条件命题或者实质蕴涵命题,是用是用“如果,那么如果,那么”等联结词联结前、后件形成的假言
19、命题,等联结词联结前、后件形成的假言命题,例如:例如:2023年5月10日星期三26的真值表的真值表 充分条件假言命题的逻辑性质是:充分条件假言命题的逻辑性质是:除了前件为真而后件为假时充分条件假言命题是假的以外,在其它三种情况下,充分条件假言命题都是真的。F FF FT TF FF FT TT TT Tp p q qq qp pT TT TT TF F2023年5月10日星期三27必要条件假言命题(1)只有由细菌引起的疾病,才能用抗生素治疗。(2)我不去,除非你去。必要条件假言命题的必要条件假言命题的形式形式:只有p,才q(pq)用用“只有,才只有,才”联结前、后件形成的假言命题,例如:联结
20、前、后件形成的假言命题,例如:在蕴涵式pq中,p称为的前件(左辖域),q称为的后件(右辖域)。2023年5月10日星期三28的真值表的真值表必要条件假言命题的逻辑性质是:必要条件假言命题的逻辑性质是:除了前件为假而后件为真时充分条件假言命题是假的之外,其它情况下,充分条件假言命题都是真的。p pq qp p q qT TT TT TT TF FT TF FT TF FF FF FT T2023年5月10日星期三29充分必要条件假言命题(1)a和b平行,当且仅当它们的同位角相等。(2)人不犯我,我不犯人;人若犯我,我必犯人。充要条件假言命题的形式:充要条件假言命题的形式:p当且仅当q(pq)在充
21、要条件式pq中,称p为的前件(左辖域),称q为 的后件(右辖域)。充分必要条件假言命题又称双条件命题,简称充要条件充分必要条件假言命题又称双条件命题,简称充要条件假言命题,是用假言命题,是用“当且仅当当且仅当”等作为联结词的命题,例等作为联结词的命题,例如:如:2023年5月10日星期三30的真值表的真值表的逻辑性的逻辑性质:质:当p和q的真值相同时,pq的真值为真;当p和q的真值不相同时,pq的真值为假。除上述已有规则外,、还有一些运算规律F FF FT TF FF FT TT TT Tp p q qq qp pF FF FT TT T2023年5月10日星期三31关于关于的推理规则的推理规
22、则(1)蕴涵消去规则,也称分离规则(略缩为M.P.)或肯定前件式(记为_)从AB和A可推出B。图示:ABAB (2)否定后件式(略缩为M.T.)从AB和B可推出A。图示:AB B A规则:肯定前件就要肯定后件规则:否定后件就要否定前件2023年5月10日星期三32关于关于的推理规则的应用的推理规则的应用(1)如果甲方付给了定金,乙方就得按时发货。甲方已付给了定金。所以乙方得按时发货。其推理形式为:p q,p q(2)如果这部电影受观众欢迎,那么买票的人就多。买票的人不多。所以这部电影不受观众欢迎。其推理形式为:p q,q p规则:肯定前件就要肯定后件规则:否定后件就要否定前件2023年5月10
23、日星期三33关于关于的推理的错误应用的推理的错误应用在日常思维中,关于的推理,容易发生的错误是:从AB和B推出A;从AB和 A推出 B。例如如是小K是持枪杀人凶手,那么他肯定有枪。小K有枪。所以,他是持枪杀人凶手。如是小K是持枪杀人凶手,那么他肯定有枪。小K不是持枪杀人凶手。所以,他肯定没有枪。为避免错误,制定了这样的规则:肯定后件不能肯定前件;否定前件不能否定后件。2023年5月10日星期三34 (2)肯定后件规则:从AB和B可推出A 图示:A BBA(1)否定前件规则:从AB和A可推出B图示:A BAB规则:否定前件就要否定后件规则:肯定后件就要肯定前件关于关于的推理规则的推理规则2023
24、年5月10日星期三35关于关于的推理规则应用的推理规则应用(1)只有你学习努力,才能取得好成绩。你学习不努力,所以,你不能取得好成绩。其推理形式为:pq,p q(2)除非发生了意外情况,这趟列车不会停在这个地方。它既然停在这个地方,可见,发生了意外情况。其推理形式为:pq,q p2023年5月10日星期三36关于关于的推理的错误应用的推理的错误应用在日常思维中,关于的推理的错误应用,容易发生的错误是:从AB和A推出B;从AB和 B推出 A。例如:只有小A在作案现场,他才是杀人凶手。有人证明小A在作案现场,所以,小A是杀人凶手。只有小A在作案现场,他才是杀人凶手。小A不是杀人凶手,所以,小A不在
25、作案现场。为避免错误,制定了这样的规则:肯定前件不能肯定后件;否定后件不能否定前件。2023年5月10日星期三37关于关于的推理规则的推理规则(1)等值引入规则(记为+):从AB和BA可推出AB。图示:ABBAAB(2)等值消去规则(记为):从AB可推出AB;从AB可推出BA。图示:ABABABBA2023年5月10日星期三38其他常见的推理其他常见的推理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
展开阅读全文