形式逻辑教案第6讲 复合命题及其推理(下).ppt

形式逻辑教案第6讲 复合命题及其推理(下).ppt

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

三、命题形式的判定方法 1. A?B?C 2. (A??B)?C ??B?C 3. ?C (假设) 4. ?(A??B) (2.3.?否定后件) 5. ?A?B (4.??等值) 6. A?B (1.3.?否定肯定) 7. ?B (反设) 8. ?A (5.7.?否定肯定) 9. A (6.7.?否定肯定) 10. ?A?A (8.9.?组合) 11. B (7-10.?销去) 12. ?C?B (3-11.?逻辑性质) 13. C?B (12.??等值) 14. B?C (13.?交换) 证毕。 第六讲 复合命题及其推理(下) 提要: 1、负命题及其推理(难点) 2、假言推理的推广形式 3、命题形式的判定方法(重点) 一、负命题及其推理 1、负命题及其逻辑形式 a、性质:否定某个命题的命题。 并非所有的人都是讲诚信的。 b、联结词:并非、不是 c、逻辑形式: ?p(非p) 一、负命题及其推理 2、负命题的逻辑特性及其真值表 a、逻辑特性 b、真值表 ?p真, 当且仅当 p假 p ? p T F F T 一、负命题及其推理 3、性质命题负命题的等值推理 ?A ? O ?E ? I ?I ? E ?O ? A 4、负命题的负命题的等值推理 ??P ? P 一、负命题及其推理 5、联言命题负命题的等值推理 ?(p∧q) ? ?p∨?q 示例:并非小张既会唱歌,又会跳舞。 p q ?p ?q p∧q ?(p∧q) ?p∨?q T T F F T F F T F F T F T T F T T F F T T F F T T F T T 一、负命题及其推理 6、选言命题负命题的等值推理 ?(p∨q) ? ?p∧?q 示例:并非小张当选或小李当选。 p q ?p ?q p∨q ?(p∨q) ?p∧?q T T F F T F F T F F T T F F F T T F T F F F F T T F T T 一、负命题及其推理 7、假言命题等值推理 (1)?(p?q)?p∧?q 并非如果天下雨,那么会议延期。 (2)?(p←q) ??p∧q 并非只有是天才,才能创造发明。 (3)?(p?q)?(p q) 并非小张和小李都当选或者都不当选。 俗话说:“鱼和熊掌不可兼得。” 以下哪项断定符合题干的断定? A. 鱼可得但熊掌不可得。 p??q B. 鱼不可得但熊掌可得。 ?p?q C. 鱼和熊掌皆不可得。 ?p??q D. 鱼不可得或熊掌不可得。 ?p??q E. 如果鱼可得则熊掌不可得。p??q 假设“如果甲是经理或乙不是经理,那么,丙是经理”为真,由以下哪个前提可推出乙是经理的结论?   A.丙不是经理。   B.甲和丙都是经理。   C.丙是经理。   D.甲不是经理。   E.甲或丙有一个不是经理。 某矿山发生了一起严重的安全事故。关于事故原因,甲乙丙丁四位负责人有如下断定: 甲:如果造成事故的直接原因是设备故障,那么肯定有人违反操作规程 乙:确实有人违反操作规程,但造成事故的直接原因不是设备故障 丙:造成事故的直接原因确实是设备故障,但并没有人违反操作规程。 丁:造成事故的直接原因是设备故障。 如果上述断定只有一个人的断定为真,那么以下断定都不可能为真,除了: A. 甲的断定为真,有人违反了操作规程。 B. 甲的断定为真,但没有人违反操作规程。 C. 乙的断定为真。 D. 丙的断定为真。 二、假言推理的推广形式 1、二难推理 a、二难推理:由充分条件假言命题和选言命题作前提构成的复合命题推理。 如果上帝不能创造出一块他自己都不能搬动的石头,则他不是万能的;如果上帝能创造出一块他自己都不能搬动的石头,则他同样不是万

文档评论(0)

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

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

1亿VIP精品文档

相关文档