普通逻辑复合命题推理二.ppt_第1页
普通逻辑复合命题推理二.ppt_第2页
普通逻辑复合命题推理二.ppt_第3页
普通逻辑复合命题推理二.ppt_第4页
普通逻辑复合命题推理二.ppt_第5页
已阅读5页,还剩16页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1,复合命题推理,2,蕴涵命题推理,1、推理形式肯定前件式:否定后件式:无效式:pqpqpqpqPqpqqpqp2、推理规则(1)肯定前件,就可以肯定后件。(2)否定前件,则不可以否定后件。(3)否定后件,就可以否定前件。(4)肯定后件,则不可以肯定前件。,3,逆蕴涵命题推理,1、推理形式否定前件式:肯定后件式:无效式:pqpqpqpqPqpqqpqp2、推理规则(1)否定前件,就可以否定后件。(2)肯定前件,则不可以肯定后件。(3)肯定后件,就可以肯定前件。(4)否定后件,则不可以否定前件。,4,假言易位推理1、假言易位推理通过交换前提中的假言命题前后件的位置,推出一个假言命题作结论的推理2、充分条件假言易位推理的有效式pqqp3、必要条件假言易位推理的有效式pqqp,5,假言连锁推理1、充分条件假言连锁推理由两个或两个以上的假言命题推出一个假言命题做结论的推理。2、假言连锁推理的有效式肯定式:否定式:pqpqqrqrprrp,6,例:名不正,则言不顺;言不顺,则事不成;事不成,则礼乐不行;礼乐不兴,则刑罚不中;刑罚不中,则民无所措手足。-论语子路,7,3、必要条件假言连锁推理的有效式否定式肯定式pqpqqrqrprrp,8,1、某侦察连长接到一项紧急任务,要他在赵、钱、孙、李、周五个侦查员中挑选两个深入敌后执行任务,人选的配备要注意以下特点:(1)、如果钱不去,那么赵也不去;(2)、只有孙去,钱才去;(3)、假如让李去,那就必须有周的配合;(4)、赵与李至少有一人去。请问:侦察连长选了哪两个人?写出推理过程。,9,解答:以五人的姓氏为代号,可将配备特点用公式表示如下:(1)钱赵(2)孙钱(3)李周(4)赵李假设在赵、李中让赵去,那么,1、根据(1):(钱赵)赵钱;2、根据(2)与1:(孙钱)钱孙。这样,赵、钱、孙三人都去,与要求去二人不符合。所以,不能让赵去。依次,就可以得到下列推理:3、根据(4):(赵李)赵李;4、根据(3)与3:(李周)李周。由此可知,侦察连长选了李、周二人。,10,2、甲、乙、丙三人中,一个是经理,一个是教师,一个是法官。已知:(1)、甲的年龄大于法官;(2)、教师的年龄小于乙;(3)、丙的年龄与教师的年龄不同。请问:甲、乙、丙三人谁是经理?谁是教师?谁是法官?写出推导过程。,11,解答:根据已知条件“(2)教师的年龄小于乙”可知,教师不是乙;根据已知条件“(3)丙的年龄与教师的年龄不同”可知,教师也不是丙。这样,就可以形成下列推理:教师:(甲乙丙)乙丙甲甲既然是教师,根据条件(2)可知,甲小于乙,即乙大于甲;根据条件(1)“甲大于法官”可知,乙大于法官,说明乙不是法官,这样,就可以形成下列推理:乙:(法官经理)法官经理丙:(教师法官经理)教师经理法官因此,甲是教师,乙是经理,丙是法官。,12,3、请根据命题A、B、C、D、E存在的关系:(1)、A(BD);(2)、C(DE);(3)、AC;(4)、C;(5)、B。推出结论,并写出推理过程。,13,解答:1、根据(3)与(4):(AC)CA2、根据(2)与(4):(C(DE)C(DE)3、根据(1)与1:(A(BD)A(BD)4、根据3与(5):(BD)BD5、根据2与4:(DE)DE推出的结论为:E,14,4、设下列四句中只有一句为真,问:小周、小陈、小刘是否学日语?写出推导过程。(1)或小周不学日语,或小陈不学日语。(2)只有小周学日语,小陈才学日语。(3)小刘学日语,小陈也学日语。(4)小周不学日语。,15,解答:1、设(4)为真,则(1)真,与题设不符,故(4)为假,则有“小周学日语”(5)为真;2、(5)真,则(2)真,根据题设(1)、(3)均假;3、(1)假,则“小周与小陈均学日语”(6);4、(3)假,则“小刘或小陈不学日语”(7);5、由(6)与(7)可推“小刘不学日语”(8);综上,小周、小陈学日语,小刘不学日语。,16,5、有一个著名的“四卡片”试验:桌上横向排列四张卡片,一面写有颜色,另一面写有数字,如下图:红蓝47要验证:“如果这面是红色,那么那面是偶数。”这个论断是否为真,该翻动哪两张?写出推理过程并简要说明理由。,17,解答:该翻动“红”与“7”。因为,要验证的命题可以用字作为代号表示为公式:红偶。这是一个充分条件假言命题,以它为主要前提构成的推理只有两个有效式:肯定前件式与否定后件式。因此,翻动“红”字的那张,用的肯定前件式:(红偶)红偶,然后,看另一面是不是偶数,若是偶数,说明这个论断就是真的;翻动“7”字的那张,用的是否定后件式:(红偶)7(偶)红,然后看另一面是不是红色,若不是红色,就说明这个论断是真的。,18,6、甲、乙、丙三人见到写有“物美价廉”广告的一家商店,进去看了一遍,甲连连摇头。乙:“难道你认为物不美、价不廉?”丙:“他是说或物不美、或价不廉。”请问:乙、丙二人谁对甲摇头的理解正确?为什么?,19,解答:丙对甲摇头的理解正确。因为,甲摇头表示的是对“物美价廉”的否定,即“并非物美价廉”,它等值于“或者物不美,或者价不廉”。乙理解为“物不美,价不廉”是不对的,这与甲的原意是反对关系,而不是等值关系。丙的理解才是对的。,20,书本:四、用公式表示命题形式1.pq2.pq3.(pp)q4.pqr5.(pqr)6.pq7.(pq)r8.(pq)r9.(pq)r10.pqrs,21,七、根据假言推理知识回答问题1.不对。推理形式是(pq)p)q充分条件假言推理否定前件式是无效式。2.不对。推理形式是(pq)q)p必要条件假言推理否定后件式是无效式。3.对。推理形式是(pqr)s)(pqr)s必要条件假言推

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论