命题逻辑联言选言负命题.ppt
《命题逻辑联言选言负命题.ppt》由会员分享,可在线阅读,更多相关《命题逻辑联言选言负命题.ppt(39页珍藏版)》请在三一文库上搜索。
1、命命 题题 逻逻 辑辑第一第一节节 命题逻辑概述命题逻辑概述09 七月 20252命题命题命题是通过语句来反映事物情况的思维形态。命题是通过语句来反映事物情况的思维形态。例如例如如果我有一双翅膀,我就从天上飞下来看你。一切事物都是发展变化的。四边形具有稳固性命题命题的主要特征:命题有真假的主要特征:命题有真假符合实际的命题是真命题,不符合实际的命符合实际的命题是真命题,不符合实际的命题是假命题。题是假命题。命题与语句任何命题都是通过语句来表达的,但语句和命任何命题都是通过语句来表达的,但语句和命题并非一一对应:题并非一一对应:首先,有的语句不能直接表达命题。首先,有的语句不能直接表达命题。其次
2、其次,同一命题同一命题可以用不同的语句来表达,如:可以用不同的语句来表达,如:“所有的所有的鸟。鸟。此外,同一命题可用不同的民族语言的语句此外,同一命题可用不同的民族语言的语句来表达。来表达。再次,同一语句,可以表达不同的再次,同一语句,可以表达不同的命题。命题。09 七月 20254命题和判断命题和判断判断:就是被断定者断定了的命题。判断:就是被断定者断定了的命题。判断的主要特征:有所断定。判断的主要特征:有所断定。一个命题是否能成为判断,与断定者的知识、立一个命题是否能成为判断,与断定者的知识、立场等有关。如:场等有关。如:“杜甫是伟大的诗人杜甫是伟大的诗人”能否被断能否被断定就与断定者的
3、知识水平有很大关系。定就与断定者的知识水平有很大关系。充分假言命题被断定是前后件的关系,而不是充分假言命题被断定是前后件的关系,而不是支命题。支命题。09 七月 20255命题分析的层次命题分析的层次将联结词所联结的命题作为一个完整的单位来将联结词所联结的命题作为一个完整的单位来看待看待研究关于联结词的推理研究关于联结词的推理(命题逻辑命题逻辑)深入到命题内部,把命题分析为主项、谓项、深入到命题内部,把命题分析为主项、谓项、量项和联项量项和联项研究关于量项和联项的推理研究关于量项和联项的推理(传统词传统词项逻辑项逻辑)深入到命题内部,把命题分析为个体词、谓词、深入到命题内部,把命题分析为个体词
4、谓词、量词及联结词量词及联结词研究关于量词的推理研究关于量词的推理(现代谓词逻辑现代谓词逻辑)把命题中包含的模态词分析出来把命题中包含的模态词分析出来研究关于模态词的推理研究关于模态词的推理(模态逻辑模态逻辑)充分必要假言命题定义:定义:断定事物之间具有充分必要条件关系的假言判断断定事物之间具有充分必要条件关系的假言判断就是充分必要就是充分必要假言命题假言命题逻辑逻辑形式:形式:P P当且仅当当且仅当q q 语言表达形式:语言表达形式:“如果如果那么那么并且只要并且只要才才”“”“只有并且仅仅如此,才只有并且仅仅如此,才”等。等。前件于后件的真假关系?前件于后件的真假关系?充分必要条件假言推
5、理规则:规则:肯定前件就要肯定后件,否定后件就要否定前件肯定前件就要肯定后件,否定后件就要否定前件否定前件就要否定后件,肯定后件就要肯定前件否定前件就要否定后件,肯定后件就要肯定前件推理蕴涵式为:推理蕴涵式为:(p pq q)p qp q(p pq q)q pq p(p pq q)p p q q (p pq q)q q p p某甲犯了罪当且仅当某甲应受刑罚处罚;某甲犯了罪当且仅当某甲应受刑罚处罚;某甲是案犯当且仅当某乙是案犯;某甲是案犯当且仅当某乙是案犯;09 七月 20259联言命题联言命题联言命题是由联言联结词联言命题是由联言联结词(如如“并且并且”)联联结支命题结支命题而形成而形成的复合
6、命题,又称合取命题。的复合命题,又称合取命题。例如:例如:(1 1)小芳美丽又大方()小芳美丽又大方(2 2)这样建立的逻)这样建立的逻辑系统既有可靠性,又有完全性。辑系统既有可靠性,又有完全性。联言命题的形式:联言命题的形式:p p并且并且q q(pqpq)。)。09 七月 202510F FF FT TF FF FT TT TT Tpqpqq qp p合取词的真值表T TF FF FF F从上表可以得出联言命题的逻辑性质:当从上表可以得出联言命题的逻辑性质:当p p、q q同时同时为真时,为真时,pqpq才为真;只要才为真;只要p p、q q其中一个为假,则其中一个为假,则pqpq为假。为
7、假。由由的真值表的真值表,可得出可得出运算的规运算的规律律:(1 1)的交换律:的交换律:pqpqq qpp(2 2)的结合律:的结合律:p(qr)p(qr)(p(pq)rq)r(3 3)的重言(幂等)律:的重言(幂等)律:ppppp p09 七月 202512合取引入规则(合取引入规则(+):):从A和B可推出AB。图示如下:AB AB合取消去规则(合取消去规则(-):):从AB可推出A,从AB可推出B。图示如下:AB AB A B合取规则09 七月 202513选选言言命题命题选言命题用选言联结词联结支命题而形成选言命题用选言联结词联结支命题而形成的复合的复合命题。命题。选言命题分为选言命
8、题分为“相容选言命题相容选言命题”和和“不相容选言命题不相容选言命题 ”两种。两种。相容选言命题的选言支可以同时为真,如:相容选言命题的选言支可以同时为真,如:(1)(1)小王或者是班干部,或者是学生会干部小王或者是班干部,或者是学生会干部(二者可以得兼二者可以得兼)。(2)(2)这份统计材料,或者是原始材料有错误,或者是计算有错这份统计材料,或者是原始材料有错误,或者是计算有错误,或者两种情况都存在。误,或者两种情况都存在。而不相容选言命题的选言支不能同时为真,如:而不相容选言命题的选言支不能同时为真,如:(1)鱼,我所欲也,熊掌,亦我所欲也,二者不可得兼。选言判断“pq”的逻辑性质可用真值
9、表表示如下 p q pq+-+-+-09 七月 202515相容选言命题的形式:相容选言命题的形式:p p或者或者q(pq)q(pq)相容选言命题的逻辑特征:相容选言命题的逻辑特征:相容选言命题为真,则它的选言支至相容选言命题为真,则它的选言支至少有一个为真;反过来讲,当选言命少有一个为真;反过来讲,当选言命题至少有一个选言支为真,选言命题题至少有一个选言支为真,选言命题一定为真。一定为真。相容选言命题及推理相容选言命题及推理09 七月 202516析取引入规则(记为):从A可推出AB;从B可推出AB。A B AB AB 析取引入规则的应用实例:小王是医生;所以,小王是医生,或者小王是教师。其
10、推理形式为:p pq09 七月 202517FFTFFTTTp qqpFTTF形式:形式:要么p,要么q(pq)p逻辑性质:不相容选言命题为真,当且仅当两个选言支有且只有一个为真。不相容选言命题09 七月 202518消去消去规则(记为 _):从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 A09 七月 202519负命题负命题负命题由否定联结词负命题由否定联结词(如如“并非并非”)联联结支命题而形成的复合命题。例如结支命题而形成的复合命题。例如:并非花儿都是红色的。这个班的学生不都学英语。如果它
11、是三角形,则内角和等于180,这个观点不对。负判断由负判断由支命题和联结词支命题和联结词“并非并非”构成。负构成。负命题的逻辑联结词命题的逻辑联结词“并非并非”可以用否定词可以用否定词“”来表示。来表示。日常用语中,负命题的联结词还可以表达为日常用语中,负命题的联结词还可以表达为“没有没有”、“不不”、“这是假的这是假的”、“这是这是错误的错误的”等。被否定的命题称为等。被否定的命题称为支命题支命题,它,它可以是可以是简单命题简单命题,也可以,也可以复合命题复合命题。负命题的形式:并非负命题的形式:并非p p,也可表示为:,也可表示为:p p 负命题的真假表:当支命题为真时,负命题负命题的真假
12、表:当支命题为真时,负命题为假;当支命题为假时,负命题为真。为假;当支命题为假时,负命题为真。09 七月 202521负负命题命题F FT Tp pp pT TF F真值表的作用真值表真值表负命题的推导规则负命题的推导规则:双重否定引入规则双重否定引入规则(+):从):从A A可推出可推出A A。双重否定消去规则(双重否定消去规则(-):从):从A A可推出可推出A A。图示:。图示:简单命题的负命题:AEIO复合命题的负命题及等值式复合命题的负命题及等值式:并非(并非(p并且并且q)并非(并非(p或者或者q)并非(要么并非(要么p,要么,要么q)并非(如果并非(如果p,那么,那么q)并非(只
13、有并非(只有p,才,才q)并非(并非(p当且仅当当且仅当q)并非(并非并非(并非p)相应的等值式相应的等值式非非p或者非或者非q非非p并且非并且非q(P并且并且q)或者(非)或者(非p并且非并且非q)P并且非并且非q非非p并且并且q(P并且非并且非q)或者(非)或者(非p并且并且q)p写出与下列负命题具有等值关系的命题:写出与下列负命题具有等值关系的命题:并非只有贪污才犯大错误。并非只有贪污才犯大错误。并非只要认识字母,就能学好外语。并非只要认识字母,就能学好外语。并非凡有成就者都天生聪明。并非凡有成就者都天生聪明。并非有些圆是方。并非有些圆是方。并非兼听不明或偏信不暗。并非兼听不明或偏信不暗
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 命题逻辑 联言选言负 命题
