1、联言命题及其推理 2.ppt

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

1、联言命题及其推理 2、选言命题及其推理 3、假言命题及其推理 4、二难推理 5、负命题及其等值命题 6、现代命题逻辑和谓词逻辑初步 第三章 命题逻辑 第一节 联言命题及其推理 复合命题的构成:若干个肢命题和联结词构成,每一个肢命题反映一种事物情况,联结词表示各肢命题或事物情况之间具有的关系。 肢命题逻辑上用p、q、r… …表示 如:小王既是班长又是团支书。既是p又是q。 明天或者阴天或者下雨。或者p 或者q 根据复合命题的逻辑性质进行的推理,叫复合命题推理。 如:明天或者阴天或者下雨,明天肯定不会下雨,所以一定阴天。 第三章 命题逻辑---- 一、联言命题 1、联言命题及其结构 联言命题的肢命题简称联言肢,联结词简称联言联结词,以“并且”作代表。联言命题的逻辑形式可以表示为:p并且q,现代逻辑表示为p Λ q ,Λ读作“合取”。 2、联言命题的逻辑值 反映若干事物情况同时存在或同存共真的命题。 如:小王既是班长又是团支书。 虽然他学习很好,但人品不太好。 他不仅学习好,而且人品很好。 当一个联言命题的每一个肢命题都真时,该联言命题是真的,只要有一个肢命题是假的,该联言命题是假的。 联言命题真值表 p q p Λ q 说明:1、自然语言中真值表有时是有局限性的。如: 命题“1加1等于2并且雪是白的”,虽然两个肢命题都是真的,但该命题无所谓真与假。 1 1 0 0 1 0 1 0 1 0 0 0 2、自然语言中联言命题的肢命题不能随便更换位置,而形式逻辑中不同。如:“屡战屡败”和“屡败屡战”“情有可原,理不容恕”和“理不容恕,情有可原” 练习:西方人的思维 *R H 假设左边的路是去H的,则有: 左边的路是去H的,并且这里的雪是白的 说真话的人回答: 1 1 1 说假话的人回答: 0 0 0 假设右边的路是去H的,则有: 左边的路是去H的,并且这里的雪是白的 说真话的人回答: 说假话的人回答: 0 0 0 1 0 0 去和不去 都说去 二、联言推理 pΛq P(q) 分解式: P、q pΛq 1、联言推理的定义 以联言命题为前提或结论,并根据联言命题的逻辑性质进行推演的推理。 2、联言推理的种类 组合式: 第二节 选言命题及其推理 一、选言命题 1、什么是选言命题 反映若干事物情况至少有一种情况存在 比如:1、我手表要么在书桌上, 要么在抽屉中 2、你的文章或者主题不集中,或者语言不通顺,或者材料不典型 第三章 命题逻辑---- 2、选言命题的种类 相容选言命题 不相容选言命题 选言命题 其逻辑形式为:p或者q p ∨q p q p ∨ q 1 1 0 0 1 0 1 0 1 1 1 0 逻辑值: (1)相容选言命题 反映若干事务情况至少有一种情况存在,但也可能同时存在。 (2)不相容选言命题 反映若干事务情况有一种情况存在,而且只有一种情况存在。 逻辑值: p q 1 1 0 0 1 0 1 0 0 1 1 0 ? ∨ q p ∨ (q q) ? 其逻辑形式为:要么p要么q 二、选言推理 ? ∨ q) (p Λ ? p (p∨q) Λp (p∨q) Λ? p × q ?q q Λp ? ∨ q) (p 思考: 三个选言肢的选言推理 (p∨q ∨r) Λ ? p q ∨ r (p q r)Λp ∨ ? ∨ ? ?qΛ?r ∨ (p q r)Λ ? p ? ∨ ? ∨ (q r) ? 例: 丝绸之路的起点:敦煌、西安、开封、洛阳 第三节 假言命题及其推理 反映一种事物存在是另一种事物存在的条件。 比如:如果摩擦,就会产生热 只有努力学习才能取得好成绩 人不犯我,我不犯人,人若犯 我,我必犯人 作为条件的肢命题叫前件(p),依据条件而存在的肢命题叫后件(q) 充分条件假言命题 必要条件假言命题 充分且必要条件假言命题。 第三章 命题逻辑---- 一、假言命题 2、假言命题的种类 1、假言命题及其结构 (1)充分条件假言命题 反映前件是后件充分条件的命题 什么是充分条件呢?有之则必然,无之则不

文档评论(0)

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

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

版权声明书
用户编号:7065136142000003

1亿VIP精品文档

相关文档