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

链接地址:https://www.31ppt.com/p-3003542.html