普通逻辑学3.ppt

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

关于强盗逻辑的笑话 美国,想打谁就打谁; 英国,美国打谁,我就跟着打谁; 以色列,谁想打我我就打谁; 德国,谁打我我就打谁; 俄罗斯,谁骂我我就打谁; 韩国,谁打我,我就和美国搞军演; 中国,谁打我,我就骂谁; 朝鲜,谁打我,我就打韩国。 为什么要研究思维形式 Exp: 1.所有的人都是有思想的 所有的猴都不是人 所以,所有的猴都不是有思想的 1.所有的人都是会死的 所有的猴都不是人 所以,所有的猴都不(是)会死的 南昌大学有许多聪明的学生和老师。 下雨天留客天留我不留。 日落香残,扫去凡心一点; 炉边火尽,须将意马牢拴。 练习:写出下列多重复合命题的逻辑结构式 1.明天我要么登长城,要么游香山,除非天下雨。 2.明天我或者去看电影,或者去看展览,否则就去游泳。 3.请勿在场内吸烟、随地吐痰、乱扔废弃物,违者罚款。 练习:用真值表判定下列哪个推理有效 或者甲是罪犯,或者乙是罪犯。已查明甲是罪犯,所以乙不是罪犯。 或者甲是罪犯,或者乙是罪犯。已查明甲不是罪犯,所以乙是罪犯。 练习:用真值表判定下列真值形式的真值类型 (永真式、可真式、矛盾式) (p → q) →( p∨q ) (p ∧ q) ←→ ( p∨q ) (q → (p → q)) → p 例: 1. ((p→q)∧(q→r))→(p→r) 如果大力发展教育,那么科技水平就会提高。 如果科技水平提高,那么生产力就会得到发展。 所以,如果大力发展教育,那么生产力就会得到发展。 2. ((p→q)∧(q→r))→(r→p) 如果大力发展教育,那么科技水平就会提高。 如果科技水平提高,那么生产力就会得到发展。 所以,如果生产力得不到发展,那么教育得不到发展。 四、反三段论(为什么叫反三段论?为什么有这种推理结果?) 如果p并且q,那么r, 非r并且q, 所以,非p 即, (p ∧q) → r r ∧ q ∴p 五、逆否定命题 如果两个命题中一个命题的条件和结论分别是另一个命题条件和结论的否定,那么这两个命题互为否定命题。 如: p→ q (原命题) q→p (逆否定命题) 逻辑学上认为,原命题真,逆否定命题也为真,他们是等价的。 必要条件p←q 逆否定命题: p→q 求复合命题的逆否定命题: (1) p→ ( q ∨r ) (2) p→ ( q ∧ r ) (3) ( q ∨r ) → p (4) ( q ∧ r ) → p (5) p ← ( q ∨r ) (6) p ← ( q ∧ r) * 第七章 演绎推理(二) 假言推理 一、什么是假言推理 假言推理就是前提中有一个假言命题,并且根据假言命题前后件之间真假制约关系而推出结论的推理。 例:只有推理形式正确,一个推理才是正确有效的, 这个推理是正确有效的, 所以,这个推理形式正确。 分类:充分条件假言推理、必要条件假言推理、充分必要条件假言推理 * 第七章 演绎推理(二) 假言推理 二、充分条件假言推理 充分条件假言推理是大前提为充分条件假言命题,小前提和结论为性质命题的推理。 p→q 逻辑规则: 有p必有q, 无q必无p. 例: 如果A队获胜了,那么B队就输了 A队获胜了 所以,B队输了 1、肯定前件式:小前提肯定作为大前提的充分假言命题前件,从而得出肯定其后件的结论的推理。 推理结构: 如果p,那么q, p→q, p, 即 p, 所以,q。 ∴q。 或写作(p→q)∧p→q。 * 第七章 演绎推理(二) 假言推理 二、充分条件假言推理 充分条件假言推理是大前提为充分条件假言命题,小前提和结论为性质命题的推理。 例: 1.如果一个联言判断为真,那么,所有的联言支为真 这个联言判断有一个联言支为假 所以,这个联言判断是假的 2.如果摩擦,就会生热 此物生热 所以,此物受到摩擦 (正确?) 2、否定后件式:小前提否定作为大前提的充分条件假言命题的后件,从而得出其否定前件的结论的推理。 推理结构: 如果p,那么q, p→q, 非q, 即 q, 所以,非q。 ∴p。 或写作(p→q)∧q→p。 * 第七章 演绎推理

文档评论(0)

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

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

1亿VIP精品文档

相关文档