第二章 命题逻辑上.pptVIP

  • 39
  • 0
  • 约1.32万字
  • 约 138页
  • 2017-12-23 发布于上海
  • 举报
第二章 命题逻辑上

例如:如果他触犯了刑法,那就要受到刑罚的制裁; 如果他触犯了民法,那就要受到民法的制裁; 他或者没有受到刑罚的制裁,或者没有受到民法的制裁; 所以,他或者没有触犯刑法,或者没有触犯民法。 其逻辑形式表示为: 如果p,那么r 如果q,那么s 非r或者非s 所以,非p或者非q 或 p →r q →s r ∨s ∴ p ∨ q 三、破斥错误二难推理的方法 一个正确的二难推理必须遵守以下规则: 第一,前提中的家言判断必须是真实的充分条件假言判断。 第二,前提中的选言判断必须穷尽选言支。 第三,推理过程必须符合充分条件假言推理和选言推理的规则。 1、指出前提不真实 如果你是聪明人,那么就不用学逻辑(因为聪明人不需要) 如果你是笨人 ,你也不用学逻辑,(因为你学不会) 你或者是聪明人,或者是笨人, 总之,你不用学逻辑 这个二难推理就是错误的,假言前提的前件“聪明人”和“笨人”与后件“不用学逻辑”之间不是充分条件关系,肯定前件不能得出后件。 2、指出推理形式有错误 如果在经济上犯罪,那么就要受到法律的制裁, 如果在政治上犯罪,那么就要受到法律的制裁, 他或者经济上没有犯罪,或者政治上没有犯罪, 所以,他不要受到法律的制裁。 这个二难推理是错误的,它违反了充分条件假言推理“否定前件不能否定后件”的规则。 3、构成一个相反的二难推理 通过构造出一个与原二难推理相反的二难推理,并从其中推出相反的结论,来达到驳斥原二难推理的目的。 例如:一个整天在外面油嘴滑舌的儿子对他的父亲说: 如果我说的是真话,那么穷人喜欢我, 如果我说的是假话,那么富人喜欢我, 我或者说真话,或者说假话, 所以,或者穷人喜欢我,或者富人喜欢我。 他父亲反驳说: 如果你说真话,那么富人恨你, 如果你说假话,那么穷人恨你, 你或者说真话,或者说假话, 所以,或者富人恨你,或者穷人恨你。 二难推理是一种论证性、说服力极强的推理方法,也是人类进行思维的极其重要的手段,很多复杂问题用二难推理去解决常会收到事半功倍的效果。 思考题: 1、复合命题的结构如何?什么成份决定复合命题的性质? 2、复合命题有哪些种类?各种复合命题的真值情况如何? 3、复合推理有哪些种类?各种复合推理的有效形式有哪些? 4、各种复合推理的规则是什么? 5、什么是二难推理?有几种有效的推理形式? 第一,充分条件假言推理 充分条件假言推理,是以充分条件假言命题为前提的假言推理。 充分条件假言推理的规则有如下两条: ①肯定前件就要肯定后件,肯定后件不能肯定的件。 ②否定后件就要否定前件,否定前件不能否定后件。 充分条件假言推理有两种有效式:肯定前件式和否定后件式。 ①肯定前件式: p→q p q 也可以写成横式:((p→q)∧p)→q 例如: “如果被评为三好学生,那么就会得到学校的表彰。李英被评为三好学生,所以,李英会得到学校的表彰。” 充分条件假言命题不能由肯定后件到肯定前件。例如:如果发高烧,就是生了病;张某生了病,所以,张某发高烧。 这个推理是无效的。 ②否定后件式: p→q  ̄q  ̄p 也可以写成横式:((p→q)∧ q )→ p 例如: 如果你是一个新时期合格的企业家,就会按市场经济规律办事, 你没有按市场经济规律办事, 所以,你不是一个新时期合格的企业家。 充分条件假言推理不能由否定前件到否定后件。如:“如果得了肺炎,就—定会发烧;他没有得肺炎,所以,没发烧。” 这个推理是无效的。 第二,必要条件假言推理 必要条件假言推理是以必要条件假言命题为前提的假言推理。 必要条件假言推理有以下两条规则: ①否定前件就要否定后件,肯定前件不能肯定后件。 ②肯定后件就要肯定前件,否定后件不能否定前件。 必要条件假言推理有两个有效式:否定前件式和肯定后件式。 ①否定前件式: (p←q)  ̄p  ̄q 也可以写成横式:((p←q)∧ p)→ q 例如:“只有考试及格,才能被录取,王立考试不及格,所以,他没有被录取。” 但是,必要条件假言推理不能由否定后件到否定前。如: “只有建立必要的规章制度,生产才能顺利进行;某厂的生产没能顺利地进行,所以,某工厂—定没有建立起必要的规章制度。” 这个推理是无效的。 ②肯定后件式的逻辑形式为: (p←q) q p 也可以写成横式:((p ← q) ∧q)→P 例如: 例如: “只有提高科学技术水平,才能摆脱贫闲和落后,要摆脱贫困和落后;所以,必须提高科学技术水平。 但是,必要条件假言推理则不能由肯定前件到肯定后件。例如: “只有刻苦钻研,才能精通业务,小刘刻苦钻研,所以,小刘精通业务。” 这个推理是无效的。 第三,充分必要条件假言推理 充分必要条件

文档评论(0)

1亿VIP精品文档

相关文档