- 1、本文档共27页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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)充分条件假言命题 反映前件是后件充分条件的命题 什么是充分条件呢?有之则必然,无之则不
您可能关注的文档
- 04授信管理.ppt
- 04文物保存环境标准.ppt
- 045防水涂料检测报告.doc
- 04春晚小品欣赏.ppt
- 04机械制图第四章直线与平面、两平面的相对位置.ppt
- 04汉语方言与地方戏曲10.ppt
- 04级《高级财务会计》期中考试试卷.doc
- 04第四章 组合体.ppt
- 04爱与被爱.ppt
- 04缝纫车间操作规程.doc
- 2023-2024学年广东省深圳市龙岗区高二(上)期末物理试卷(含答案).pdf
- 2023-2024学年贵州省贵阳市普通中学高一(下)期末物理试卷(含答案).pdf
- 21.《大自然的声音》课件(共45张PPT).pptx
- 2023年江西省吉安市吉安县小升初数学试卷(含答案).pdf
- 2024-2025学年广东省清远市九校联考高一(上)期中物理试卷(含答案).pdf
- 广东省珠海市六校联考2024-2025学年高二上学期11月期中考试语文试题.pdf
- 2024-2025学年语文六年级上册第4单元-单元素养测试(含答案).pdf
- 2024-2025学年重庆八中高三(上)月考物理试卷(10月份)(含答案).pdf
- 安徽省安庆市潜山市北片学校联考2024-2025学年七年级上学期期中生物学试题(含答案).pdf
- 贵州省部分校2024-2025学年九年级上学期期中联考数学试题(含答案).pdf
最近下载
- 初中数学教师晋升高级(一级)职称水平考试模拟试卷(四).docx
- 销售清单一式两联售货清单单据通用A5.docx
- 初中数学教师晋升高级(一级)职称水平考试试卷(一).docx
- 格列佛游记(中英对照).pdf
- 第三单元整体教学设计-【大单元教学】2023-2024学年八年级语文上册名师备课系列(统编版).pdf
- 第18课 白鸽相伴 本真相随——《我的白鸽》导学案-2024-2025学年七年级语文上册同步高效课堂(统编版2024).docx
- (2024秋)部编版七年级语文上册《我的白鸽》教案.docx
- 麻醉中的咳嗽引起并发症的处理.pptx
- Unit 4 Time to celebrate 大单元整体教学设计 外研版2024七年级上册教学评一体化.docx
- 销售发票管理明细表.xlsx VIP
文档评论(0)