- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第四章 复合命题及其推理(上) 【学习要求】 1.识记联言命题的定义及逻辑形式,理解联言命题的逻辑特征与真值;识记联言推理的定义与推理形式,能由已知的联言推理前提准确推出其结论。 2.识记相容和不相容两种选言命题的定义及逻辑形式,理解两种选言命题的各自逻辑特征与真值;识记选言推理的定义及两种选言推理的推理形式,理解其规则,并能由已知的选言推理前提正确推出结论。 【学习要求】 3.识记充分条件、必要条件、充分必要条件三种假言命题的定义及逻辑形式,理解其各自的逻辑特征与真值;识记三种假言推理的推理形式,理解充分条件假言推理与必要条件假言推理的规则,能判定违反假言推理规则所犯的逻辑错误,能由给定的假言推理前提推出结论。 4.能根据联言推理、选言推理、假言推理的知识解答应用题。 【重点】 联言、选言、假言三种复合命题的逻辑形式、逻辑性质以及相应的三种复合推理的逻辑形式与推理规则。 【难点】 熟练判别某一复合命题推理是否有效,正确进行复合命题推理,解答相关应用题。 第四章 复合命题及其推理(上) 第一节联言命题与联言推理 第二节选言命题与选言推理 第三节假言命题与假言推理 一.什么是复合命题? ①并非所有的演员都会绘画。 复合命题是自身包含有其他命题的命题。包含在复合命题中的命题叫支命题。将支命题联系起来形成复合命题的概念叫命题联结词,简称联结词。 光有波动性,并且有粒子性。 二.复合命题的逻辑结构形式 支命题+联结词 现代逻辑有五种基本联结词(否定、合取、析取、蕴涵、等值),不同的联结词表征不同的复合命题。也就是说,联结词决定了复合命题的类型。 命题联结词是复合命题的逻辑常项。它不仅决定复合命题的种类,还决定复合命题的逻辑性质(真假) ,是逻辑研究的重点之一。 复合命题中的支命题是复合命题的变项。 三.复合命题真值表 1.真值 真值即命题逻辑性质的逻辑取值。任何复合命题可能的逻辑值只有两个:真或假。 真值的表达形式主要有以下几种: 2.真值表 (1)什么是真值表? 用来显示真值联结词在复合命题真值形式中真假情况的图表。 真值表法是判定推理形式是否有效的一种重要的逻辑方法。 真值表所要反映的,是复合命题各支命题不同的逻辑值组合对复合命题本身的逻辑值的影响。 所以,真值表包括了复合命题的所有支命题以及复合命题自身的逻辑值。 (2)如何编制真值表? 第一,先确定真值表的行、列数。 ①析出复合命题的支命题。 ②根据支命题之间逻辑值的真假组合确定真值表行数。 真值表行数=2n(不含标题栏) n表示支命题的数目,其取值为≥1的正整数。 ③根据支命题的数量、复合命题的数量确定真值表列数。 第二,在真值表中填入各要素。 真值表的要素包括各支命题及其逻辑值组合、各复合命题的逻辑值等。 ①在首行依次逐列填入支命题与复合命题的逻辑式。 ②逐行填入支命题逻辑值的真假组合复合命题的逻辑取值。 四.复合命题推理 复合命题推理是前提或结论中包含复合命题并且依据复合命题的逻辑性质来进行推演的推理。 复合命题按联结词的不同分为联言命题、选言命题、假言命题、负命题等,所以,复合命题推理也相应分为联言推理、选言推理、假言推理、负命题的等值推理等。 五.理解复合命题及其推理的三个关键 (1)复合命题的特征 复合命题的基本特征:在一个命题中包含着其他命题。但复合命题中的支命题,无论从种类还是从数量角度认识,都会有所不同。 从支命题数量上说,复合命题的支命题可以是一个,也可以是两个或两个以上; 从支命种类上说,复合命题的支命题可以是简单命题,也可以是复合命题(如果支命题是复合命题,一般还需析出其简单命题)。 (2)复合命题的分类依据 复合命题的逻辑性质是由联结词决定的,不同的联结词体现支命题之间的不同关系,因而复合命题的联结词是复合命题分类的依据。 (3)复合命题的真假标准 复合命题的真假,取决于支命题的真假,亦即支命题之间的关系是否符合联结词逻
文档评论(0)