第5、六章复合命题及其推理.docVIP

  1. 1、本文档共21页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第章推理 教学目的与要求:什么是联言推理,掌握联言推理的形式;明确什么是选言推理,掌握两种选言推理的形式及其规则;运用选言推理规则检验选言推理是否正确的方法;什么是假言推理,掌握三种假言直接推理的形式和规则。重点:联言、选言、假言推理的规则和综合运用;二难推理的形式结构。)、并且()、或者()、蕴含()、等值() (2)简单命题和复合命题 简单命题就是不包含任何联结词的命题。而复合命题就是由若干命题和逻辑联结词结合而成的命题。构成复合命题的命题是其支命题。如: ①小李去学校了。 ②他是一个好人! ③他是优秀团员。 ④他们爱的很深并且结婚了。 ⑤小李和小张都是优秀团员。 ⑥如果明天下雨,那么我不上街。 ①②③不包含任何逻辑联结词,就是简单命题;而④⑤⑥包含了逻辑联结词,由两个或两个以上的命题组成,就是复合命题。 复合命题推理就是指根据联结词的逻辑性质,复合命题与支命题的真假关系的一种推导关系。 第二节 负命题及其推理 (1)负命题定义:是由否定一个命题而形成的复合命题。如: ①并非这个班的学生都爱学英语。 ②这个班的学生不都爱学英语。 ③只有解决了温饱,才能谈论道德。这个观点不对。 以上三个命题都是负命题。 注:负命题的支命题可以是简单命题,也可以是复合命题。 负命题的逻辑形式是“并非p”。形式化表示就是“p”。 在日常生活中,我们经常还用“假的”“是不成立的”“不符合事实的”等都是表示负命题的联结词。 (2)负命题的的逻辑性质:它的真假与被否定的命题的真假是相反的。即负命题与构成它的支命题是矛盾关系。用真值表表示就是: p p T F F T 其中,{T,F}是命题的真值集合,负命题是一种真值集合{T,F}上的一元运算。 上面那个真值表也是对“”的真值的刻画。 根据“”的真值涵义,可以对“p”进行再否定。 p p p T F T F T F 由上表可见,p和p是一种等值关系,即p为真时,p为真;p为假时,p也为假。 如果我们用“”来表示等值关系,则pp(语义); 如果我们用“”来表示等值关系,则pp(语形)。 我们有如下的语义推导关系: A├A,A├A(语形);A╞A,A╞A(语义)。 注:真值表表示的是一种语义刻画。 所以,负命题推理有如下推理关系: ①双重否定引入规则(+) A╞A; ②双重否定消去规则(-) A╞A。 第三节 联言命题及其推理 (1)联言命题:是由命题联结词“并且”联结若干命题而形成的复合命题。联言命题又称为合取命题。如: ①小张歌唱的好并且舞跳的好。 ②发展中国家既要保持政治上的独立性,又要保持经济上的开放性。 都是联言命题。合取命题的支命题称为合取支。其形式为: p并且q (pq) 在日常语言中,“不但,而且”“既,又”“虽然,但是”“一方面,另一方面”等都是表示合取命题的联结词。有时也可以省略。如: ①谦虚使人进步,骄傲使人落后。 合取也可以是三个或三个以上。如: ①中国是一个发展中国家,不但人口众多,而且自然资源相对缺乏。 (2)合取命题的逻辑性质 合取命题为真,其支命题也都为真。用真值表表示如下: p q pq T T T T F F F T F F F F 从以上真值表可以看出,“”的逻辑性质是:p、q都真时,pq为真,否则,pq就为假。即pq为真当且仅当p真且q真。 关于“”运算,我们有如下运算规律: ①交换律:pqqp; ②结合律:p(qr)(pq)r ③重言律:ppp. (3)推理规则 ①合取引入规则(+):由A和B可以退出AB. A,B╞AB. 如: (ⅰ)小张喜欢音乐,小张喜欢体育,所以,小张不但喜欢音乐,也喜欢体育。 (ⅱ)小张是三好学生,小李是三好学生,所以小张和小李都是三好学生。 语形表示就是:A,B├AB. ②合取消去规则:(-):即由AB可退出A和B,可表示如下: AB╞A;AB╞B.如: (ⅰ)小张既有优点,又有缺点,所以,小张有优点。 (ⅱ)小张和小李都是三好学生,所以,小李是三好学生。 其语形表示为:AB├A,AB├B. 第节 选言推理 q 即相容选言命题为真,则相容选言命题为真。 在pq中,p,q是的左右辖域。其真值表如下:(1表示T,真;0表示F,假) p q pq 1 1 1 1 0 1 0 1 1 0 0 0 由真值表可知,pq为真,当且仅当p,q至少有一个为真。 由真值表亦可知,相容选言命题有以下推理规则: ①析取消去规则(-) AB,A╞B; AB,B╞A (否定肯定式) 否定一部分选言支,必将肯定另外一部分选言支。但是其肯定否定式是不存在的。 ②析取引入规则(+) A╞AB;B╞AB (3)与的一些运算规律 ①的运算规律 (ⅰ)交换律:pqqp (ⅱ)结合律:p(qr)(

文档评论(0)

jdy261842 + 关注
实名认证
文档贡献者

分享好文档!

1亿VIP精品文档

相关文档