版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1,命题逻辑,假言命题及复合命题的推理(一,2,一、假言命题,定义: 假言命题是陈述某一事物情况存在是另一事物情况存在的条件的判断。 假言判断的分类: 假言命题分为充分条件假言命题,必要条件假言判断、充分必要条件假言命题,3,充分条件假言命题的构成及形式,假言命题是由假言联结词(如 “如果,那么”、“只有,才”、“当且仅当”等)联结支命题而形成的复合命题,例如 假言命题的逻辑联结词“如果那么”可以用蕴涵词“”表示。“如果”后面的支判断称作假言判断的前件,“那么”后面的支判断称作假言判断的后件。 假言判断的形式为:如果p,那么q。 用蕴涵词表示为:pq,4,充分条件假言判断联结词的语言形式,在日
2、常用语中,假言判断联结词的语言形式是多种多样的,除了“如果那么”外,还有“如果则”、“假如那么”、“只要就”,“则”等等,5,假言命题“pq”的逻辑性质的真值表,6,永真条件,需要注意:逻辑学虽然只从形式方面研究判断的真假性质,但在假言命题中,如果只考虑前、后件的真值关系,而不考虑前、后件的内容联系,那么就会出现前、后件没有内容上的联系,只是形式上正确的假言判断,这种假言判断被称为蕴涵怪论。 当它的前件为假时,不管其后件是真还是假,那么整个命题必定是真的,7,二、假言推理,一)充分条件假言推理 1、肯定前件式 充分条件假言推理(以下称假言推理)的肯定前件式是一个前提为假言命题,另一个前提为该假
3、言命题的前件,从而得出肯定该假言后后件的结论的推理形式。 这种推理的形式可表示为: 如果p,那么q p 所以,q 也可以用蕴涵式表示为: (pq)pq,8,2、否定后件式,假言推理的否定后件式是一个前提为假言判断,另一个前提为该假言判断后件的否定,从而得出否定该假言前提前件的结论的推理形式。 这种推理的形式可表示为: 如果p,那么q 非q 所以,非p 也可以用蕴涵式表示为: (pq)q p,9,想想看,两个女学生走进一餐厅,翻开桌上的菜单,突然眼前一亮,“看,熊掌!每盘20元,来两盘怎么样?”“人们都说熊掌名贵,价钱也不贵,ok!”一会儿,她们吃完了,叫来招待员结帐,招待员开出帐单:“一共40
4、25元”“什么?你没搞错吧?”学生几乎吓晕了。“熊掌每盘2000元,你看菜单。”学生仔细一看,果然是2000元,中间没有小数点。这下她们急得要哭了。这时老板出来了,看了几眼付不起钱的学生,“没钱,就将证件留下。”她们乖乖的将证件交出。学生会出面交涉,老板斩钉截铁说:“一分也不能少,如果三天之内不把钱付清,便立即向法院起诉。学生只好自认倒霉,一律师知道了,帮他们追回了所被敲诈的钱。如何讨,10,出个主意,明朝时,南昌宁王自恃是皇族后裔,一天到晚只知吃喝玩乐。皇上赐了一只丹顶鹤给他,鹤的脖子上挂了一块“御赐”的镀金铜牌,他便经常牵着这只白鹤在街上闲逛。有一天,这只白鹤独自跑到街上,被狗咬死了。宁王
5、气得暴跳如雷:“我这只白鹤是皇上赐的,脖子上挂着御赐金牌,谁家野狗竟敢欺君犯上,这还了得。”当即命令家奴把狗的主人捆了起来,送交南昌知府治罪,给他的白鹅抵命。知府祝瀚早就对宁王的胡作非为很是不满,对此案觉得又可气又好笑,11,说出晏子使楚中晏子及下例中纪晓岚的推理,有一天,乾隆皇帝问纪晓岚:“忠孝”二字作何解释?纪晓岚答道:“君要臣死,臣不得不死,为忠父要子亡,子不得不亡,为孝。” 乾隆皇帝立刻说:“那好,朕要你现在就去死。” “臣领旨!”“那你打算怎样死法?”“跳河” 乾隆知道纪晓岚不会去死,于是静观其变。不一会,纪晓岚回来了。乾隆问道:“你为何回来了?” 纪晓岚答道:“我来到河边,正要往下
6、跳,屈原从水里走来。他说:晓岚,此举大错了,想当年楚王昏庸,我才不得不死,你在跳河之前应该先去问问皇上是不是昏君,如果皇上不是昏君,你就不该投河而死,如果说皇上跟当年楚王一样的昏庸,你再死也不迟呀,12,试一试下段话中推理的逻辑形式,刘向说苑记载:古代魏文侯派舍人毋择给齐侯送去一只天鹅,半路上不小心天鹅飞掉了,毋择只得给齐侯献上一只空空的鸟笼,并为此发表了一篇精彩的陈词: 在欧洲的中世纪,一次,一位阿拉伯的青年使者出使欧洲某国,他带去大批的礼物,受到了隆重的接待。国王和王后还专门举行了隆重的接待宴会,不料,就是这次宴会,几乎要了这个青年的命。因为他当着国王的面,将烧鱼翻了个背。该国法律规定不能
7、当着国王的面翻动一切,违背就会被处死,假货显贵的王宫贵族也不例外。国王不顾别人的劝说宣布维持法律,不过,他告诉年轻人,允许青年听一个要求,任何要求都能得到满足。那个青年说,13,二)必要条件假言推理,必要条件假言判断是陈述一事物情况是另一事物情况的必要条件的复合判断 必要条件假言判断由联结词“只有才”和支判断构成,“只有”后面的支判断称作前件,“才”后面的判断称作后件。在日常用语中,必要条件假言联结词的语言形式还有“除非不”、“不不”等,14,必要条件假言命题的形式及真假关系,只有p,才q 或pq 必要条件假言命题陈述前件是后件的必要条件,即:p不存在时,q一定不存在。换句话说,就是p假时q一
8、定假,或者q真时p一定真。所以必要条件假言判断可以转换为充分条件假言判断,其形式可以表示: 如果非p,那么非q 或 如果q,那么p 也可以表示为蕴涵式: pq 或 qp,15,必要条件假言判断的真值表,16,必要条件假言推理的两种有效式,1、否定前件式 必要条件假言推理的否定前件式是一个前提为必要条件假言判断,另一个前提否定该假言前提的前件,进而结论否定假言前提的后件的推理形式。 必要条件假言推理否定前件式的形式为: 只有p,才q 非p 所以,非q 用蕴涵式表示为: (pq)pq,17,2、肯定后件式,必要条件假言推理的肯定后件式是一个前提为必要条件假言判断,另一个前提肯定该假言前提的后件,进而结论肯定假言前提的前件的推理形式。 必要条件假言推理肯定后件式的形式为: 只有p,才q q 所以,p 用蕴涵式表示为: (pq)qp,18,请写出年轻人的推理,并指出正误,青年在公园射杀了一只天鹅,引起公愤,后来这年轻人受到了应有的惩罚。此后不久,这个青年又在别的地方射杀布谷鸟,他很不服气地说:“射杀天鹅是不允许的,这又不是天鹅,为什么不能射杀,19,请写出推理形式,并指出正误,小王洗手后,没关水龙头,扬长而去。别人批评他,他反道:“难道你不懂流水不腐吗?” 科恩不小心跌了一跤,格农幸灾乐祸地大笑起来,科恩说:“难道你没读过圣经里不因为敌人跌倒
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024年山西客运考试应用能力试题题库及答案详解
- 2024年湖北驾驶员货运从业资格证考试题
- 2024年河北客车驾驶员考试试题加解析
- 2024年东营申请客运从业资格证模拟考试
- 2024年德宏小型客运从业资格证理论考题
- 功能章操作协议书
- ITO离被淘汰不远了-石墨烯等新材料靠啥上位-
- 四川省凉山彝族自治州会东县会东南山实验学校2024-2025学年六年级上学期期中数学试题
- 产品质量改进方案
- 供应链整合管理方案
- 新疆乌鲁木齐高级中学2023-2024学年高一上学期期中考试化学试卷
- 人工智能与工业自动化
- (通用)国家电网考试历年真题库(附答案)
- 京仪单晶炉电气控制系统软件使用说明书
- 细胞与分子免疫学:第四章 补体分子(Complement,C)
- 电子商务对物流管理的影响-电子商务毕业论文设计
- 非亲子关系证明模板
- 医药魔方-CAR-T细胞疗法研发现状与发展趋势-2023.07
- 数字经济学导论-全套课件
- 矿山环境保护教材或演讲课件
- 学习投入量表
评论
0/150
提交评论