第三章命题逻辑(何向东本).pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第三章命题逻辑(何向东本)概要

(四)正确使用假言命题 充分条件和必要条件间的命题等值转换 如果要有真才实学,就必须刻苦学习。(p→q) 只有刻苦学习,才能有真才实学。(q←p) 只有刻苦学习,才能有真才实学。 (p←q) 如果不刻苦学习,就不能有真才实学。(?p→?q) p q 真 真 真 假 假 真 假 假 p→q q←p 真 真 真 真 真 真 真 真 真 真 真 真 假 假 假 假 p←q ?p→?q ?p ?q 假 假 假 假 真 真 真 真 五、负命题及其推理 (一)负命题 含义:是否定某个命题的命题。如: 并非所有导电的都是金属。(简单命题的负命题) 并非年满18岁,就有公民选举权。(复合命题的负命题) 构成:由肢命题“p”和联结词 “并非”组成,逻辑形式为:并非p,也可写作?p或 (?或 读作“并非”或“非”)。 逻辑值 p ?p 真 假 假 真 结论:当肢命题为真时,负命题为假;当肢命题为假时,负命题为真。 (二)复合命题的负命题及其等值命题 1.联言命题的负命题及其等值命题 并非小张既是三好学生,又是优秀团员。 ?小张或者不是三好学生,或者不是优秀团员。 即: 2.相容选言命题的负命题及其等值命题 并非小张或者是三好学生,或者是优秀团员。 ?小张既不是三好学生,也不是优秀团员。 即: ?(p∧q ) ??p∨?q(德·摩根律1) ?(p∨q ) ? ?p∧?q (德·摩根律2) 二、复合命题的负命题及其等值命题 3.不相容选言命题的负命题及其等值命题 并非小张要么是三好学生,要么是优秀团员。 ?或者小张既是三好学生,又是优秀团员;或者小张既不是三好学生,也不是优秀团员。 即: 4.充分条件假言命题的负命题及其等值命题 并非如果小张是三好学生,他就是优秀团员。 ?小张是三好学生,但不是优秀团员。 即: ?(p q ) ? (p∧q)∨(?p∧?q) ?(p→q ) ? p∧?q 二、复合命题的负命题及其等值命题 5.必要条件假言命题的负命题及其等值命题 并非小张只有是三好学生,才能是优秀团员。 ?小张不是三好学生,却是优秀团员。 即: 6.充分必要条件假言命题的负命题及其等值命题 并非当且仅当小张是三好学生,则他是优秀团员。 ?或者小张是三好学生,但不是优秀团员;或者小张不是三好学生,却是优秀团员。 即: ?(p←q) ? ?p∧q ?(p?q) ?(p∧?q)∨(?p∧q) 练习:P89(一) (一)假言易位推理 是通过变换前提中假言命题的前后件的位置,推出一个假言命题的推理。 1.充分条件假言易位推理 含义:是前提为充分条件假言命题的假言易位推理。如: 如果得肺炎,人就会发高烧;所以,如果没有发高烧,则没有得肺炎。 推理形式 (p→q)→(?q→?p) 六、复合命题的其它推理(P62) 2.必要条件假言易位推理 含义:是前提为必要条件假言命题的假言易位推理。如: 只有年满18岁,才有公民选举权;所以,如果有公民选举权,则已年满18岁。 推理形式 3.充要条件假言易位推理 是前提为充分必要条件假言命题的假言易位推理。如: 当且仅当三角形的三个内角是相等的,则它的三边相等;所以,当且仅当三角形是等边的,则它的三个内角是相等的。 2. 推理形式 (p←q)→(q→p) (p?q)→(q?p) (二)纯假言推理(假言联锁推理、假言三段论) 含义:是由两个或多个假言命题为前提,推出一个假言命题的推理。如: 如果甲队战胜乙队,那么甲队就能进入前八名; 如果甲队进入前八名,那么甲队就能保级成功; 所以,如果甲队战胜乙队,那么甲队就能保级成功。 推理形式 (p→q)∧(q→r)→(?r→?p) (p→q)∧(q→r)→(p→r) 充分条件假言联锁推理肯定式: 充分条件假言联锁推理否定式: (p←q)∧(q←r)→(r→p) (p←q)∧(q←r)→(?p→?r) 必要条件假言联锁推理否定式: 必要条件假言联锁推理肯定式: (p?q)∧(q←r)→(?p→?r) (p?q)∧(q→r)→(p→r) 混合条件假言联锁推理肯定式: 混合条件假言联锁推理否定式: (三)假言选言推理(二难推理) 含义:是由两个假言命题和一个二肢选言命题为前提推出结论的推理。如“半费之讼”。 如果我打赢官司,那么按法庭判决,被告应该付给我另一半学费;如果被告打赢了官司,那么按我们的合同,被告也应该付给我另一半学费。因而,不论这场官司是我赢还是被告赢,被告都应该付给我另一半学费。 特点:通过假设两种可能,使对方不论选择其中哪一种,结果都会进退维谷,陷入左右两难的境地。 种类: 1.简单构成式: 如果某人是故意犯罪,那么应追究他的法律责任;如果某人是过失犯罪,那么也应追究他的法律责任;某人或者是故意犯罪,或者是过失犯罪;总之都应

文档评论(0)

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

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

1亿VIP精品文档

相关文档