程元冰逻辑学56假言.pptxVIP

  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文档。上传文档
查看更多
程元冰逻辑学56假言

3、种类及逻辑性质 (1)充分条件假言命题 定义:反映前件是后件充分条件的假言命题。多条件、多因 同果。 只要下雨,地上就湿,如果摩擦,就会生热。 联结词: 如果那么、倘若则、只要就、当便、要是就。→ 命题形式:p→q 特性: 有前件必有后件。 逻辑值: 前真后假为假,其余为真。 (2)必要条件假言命题 定义:反映前件是后件的必要条件的假言命题。复合条件、 合因一果。 只有深入生活,才能深刻地反映生活。只有努力学习,才能取得好成绩。 联结词: 只有才、除非不、必须才、不就不。← 命题形式:p←q,﹁p→﹁q 特性: 没有前件就没有后件。 逻辑值: 前假后真为假,其余为真。;(3)充分必要条件假言命题 定义:反映某事物情况是另一事物情况充要条件的假言命题。唯 一条件联系。 当且仅当三角形等角,则三角形等边。 邪恶盛行的唯一条件是善良者的沉默。 人不犯我,我不犯人;人若犯我,我必犯人。 法院判决离婚的唯一条件是夫妻感情破裂。 进入这个学校读书的唯一条件是一次性交纳两万元赞助费。 联结词:当且仅当 才、如果那么且只有才。 命题形式:如果p那么q,且只有p才q;当且仅当p,才q,p?q 基本特征:有前件必有后件,无前件必无后件。前后件同真同假。 总结:三种之间有内在联系,弄清可以实现之间的转换推演,以 使表达方式多样活泼。 充与必的前后件之间有固定的逻辑关系:前件是后件的充分,则 后件是前件的必要,反之亦然,即(p→q)?( q ← p ) 做课后P158页第三题; 二、假言推理 (一)定义:前提中有假言命题,据其逻辑特性进行的推理。 (二)分类 1、混合假言推理(假言推理):前提中有一为假言命题,据其前后件的关系进行推演的推理。 (1)充分条件假言推理及有效式:前提中有一为充分条件假言命题,据其前后件的充分关系进行推演的假言推理。 规则:肯定前件就要肯定后件,否定后件就要否定前件 否定前件不能否定后件,肯定后件不能肯定前件 有效式: ①肯定前件式-如果P则q,p 所以 q.( p→q) ??? p→q 如果摩擦,就能生热;我的双手摩擦了,所以,双手就生热了。 如果谁骄傲自满,那么他就要落后;小张骄傲自满,所以,小张必定落后。 ②否定后件式-如果P则q, ﹁q 所以﹁p.( p→q) ∧﹁q→﹁p 如果谁得了肺炎,他就一定要发烧;小李没发烧,所以,小李没患肺炎。 只要天下雨,地上就会湿;现在地上没湿,所以,没有下雨。 如果降落的物体不受外力的影响,那么,它不会改变降落的方向;这个物 体改变了降落的方向,所以,它一定受到了外力的影响。;(2)必要条件假言推理及有效式:前提中有一为必要条件假言 命题,据其前后件的必要条件关系进行推演的假言推理。 规则: 否定前件就要否定后件,肯定后件就要肯定前件 肯定前件不能肯定后件,否定后件不能否定前件 有效式:①否定前件式-只有P才q, ﹁p 所以﹁q.( p←q) ∧﹁p→﹁q 只有努力学习,才能取得好成绩,小李没有努力学习,所以,他一定不会 取得好成绩。 只有年满十八岁,才有选举权;小周不到十八岁,所以,小周没有选举权。 ②肯定后件式-只有P才q, q 所以p.( p←q) ∧q→p 只有选用优良品种,小麦才能丰收;小麦丰收了,所以,这块麦田选用了 优良品种。 只有努力学习,才能取得好成绩,小李取得好成绩,所以,他一定努力学 习了。 (3)充要条件假言推理及有效式:前提中有一为充要条件假言 命题,据其前后件的充要条件关系进行推演的假言推理。 规则:肯定前件就要肯定后件,肯定后件就要肯定前件 否定前件就要否定后件,否定后件就要否定前件 法院判决离婚的唯一条件是夫妻感情破裂。 三角形等边,三角形等角。;2、纯假言推理:前提和结论都是假言命题。依据为假言 命题之间和前后件之间的关系。分为两种:易位、联锁。 (1)假言易位推理:变换前后件推出新假言命题。 ①充分 如果摩擦,就会生热;所以,如果没有生热,就没有摩擦。 如果天下雨,地上就会湿;所以,如果地上没有湿,天就没有下雨。 如果p,则q;所以,如果﹁q,则﹁p。( p→q) →(﹁ q →﹁ p ) ②必要 只有深入生活,才能写出好作品;所以,如果写出了好作品,则深入了 生活。 只有阳光充足,庄稼才能长好;

文档评论(0)

131****9843 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档