第五讲 谓词逻辑.ppt

  1. 1、本文档共59页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第五讲 谓词逻辑

第五讲 谓词逻辑 王华生 右江民族医学院 马克思主义基本原理教研室 新办公楼703室 /hswang6767 Introduction 第一节、原子命题的内部结构 第一节、原子命题的内部结构 第一节、原子命题的内部结构 第一节、原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第一节 原子命题的内部结构 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第三节 关系命题推理 第二节 关系命题 第三节 关系命题推理 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第二节 关系命题 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 第三节 关系命题推理 踏莎行 吕本中 雪似梅花,梅花似雪。似和不似都奇绝。恼人风味阿谁知?请君问取南楼月。 记得去年,探梅时节。老来旧事无人说。为谁醉倒为谁醒?到今犹恨轻别离。 五、关系命题的性质 (二)对称性 (2)反对称性 在x中,若R(a ,b)成立时,R(b ,a)必定不成立( ? R(b ,a)必定成立) ,则R为反对称性关系。如,大于、父子、…在…以南(以北)。 当关系中涉及到两个以上关系者项时,关系就成为传递方面的。 雪梅 卢梅坂(宋) 梅雪争春未肯降, 骚人搁笔费评章。 梅须逊雪三分白, 雪却输梅一段香。 五、关系命题的性质 (二)对称性 (3)非对称性 在x中,若R(a ,b)成立时,R(b ,a)可成立,也可不成立,则R为非对称性关系。如,认识、敬佩、爱。 当关系中涉及到两个以上关系者项时,关系就成为传递方面的。 五、关系命题的性质 (三)传递性 涉及三个或三个以上关系者项 (1)传递性 在x中,若R(a ,b)且R(b ,c)成立时,R(a ,c)也必定成立,则R为传递性关系。如,相等,大于, …在…以南(以北)。 五、关系命题的性质 (三)传递性 (2)反传递性 在x中,若R(a ,b)且R(b ,c)成立时,R(a ,c)必定不成立 ( ? R(a ,c)必定成立),则R为反传递性关系。如,父子, …大于… 几倍。 五、关系命题的性质 (三)传递性 (3)非传递性 在x中,若R(a ,b)且R(b ,c)成立时,R(a ,c)可成立,也可不成立,则R为非传递性关系。如,同学、朋友、同乡。 任何一种关系都可从对称和传递两方面进行分析,只不过看它涉及的是几个关系者项。 父:“孩子,你得改一改骄傲的毛病啊!” 子:“骄傲有什么坏处呢?我看用不着改。” 父:“你不知道有句格言吗:‘骄傲必败’。” 子;“您不是曾教给我另一句格言吗:失败是成功之母’,骄傲既然带来失败,失败又是成功之母,骄傲不就是成功之母吗?” 问题:其中儿子的话符合逻辑吗?为什么? 案例分析 爱的选择 女生们都想找到心目中的白马王子,可要求各不相同: 大专生说:“我要找一个本科生。” 本科生说:“我要找一个研究生。” 研究生说:“我要找一个博士生。” 博士生说:“我要找一个男生。” 一、纯关系推理 推理中只包括关系命题的推理。 将关系的定义倒过来就可构成关系推理。 关系的性质是推理的关键 一、纯关系推理 R为对称关系 R(a ,b) 所以,R(b ,a) R为对称关系≡R(a ,b)→R(b ,a) R(a ,b) 所以,R(b ,a) 1、对称关系推理 何任梅和卢如康是同学, 所以,卢如康和何任梅是

文档评论(0)

lifupingb + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档