欢迎访问广州自考网!本站非政府官方网站,官方信息以广东省教育考试院(http://eea.gd.gov.cn/)为准。

报名热线:400-8077-735

微信公众号|广州自考微信公众号

首页
自考服务: |报名报考 |报考须知 |考办联系方式 |考试时间安排表 |免考办理 |学历证明办理 |合并准考证办理 |转出、转入办理 |考籍信息更正办理
通知公告:
当前位置:广州自考网>串讲笔记 >普通逻辑学习笔记 假言推理

普通逻辑学习笔记 假言推理

编辑整理:广州自考网    发布时间:2018-05-23 12:27:59    浏览热度:   [添加指导老师微信]
立即购买

《自考视频课程》名师讲解,轻松易懂,助您轻松上岸!低至199元/科!

  假言推理就是前提中有一个是假言判断并且根据假言判断前后件之间的关系而推出结论的推理,也称为假言三段论。假言推理可以分为三类:充分条件假言推理、必要条件假言推理和充分必要条件假言推理。

  一、充分条件假言推理

  充分条件假言推理是前提中有一个是充分条件假言判断的假言推理。

  充分条件假言推理有两条规则:第一,肯定前件就要肯定后件,否定后件就要否定前件;第二,否定前件不能否定后件,肯定后件不能肯定前件。

  根据规则,充分条件假言推理有两个有效式:

  1.肯定前件式,其推理形式如下:

    如果p,那么q

    p

    所以,q

也可以符号化为:

    ((p®q)Ùp)®q

  2.否定后件式,其推理形式如下:

    如果p,那么q

    非q

    所以,非p

也可以符号化为:

    ((p®q)ÙØq)®Øp

   二、必要条件假言推理

  必要条件假言推理是前提中有一个是必要条件假言判断的假言推理。

  必要条件假言推理有两条规则:第一,否定前件就要否定后件,肯定后件就要肯定前件;第二,肯定前件不能肯定后件,否定后件不能否定前件。

  根据规则,必要条件假言推理有两个有效式:

  1.否定前件式,其推理形式如下:

    只有p,才q

    非p

    所以,非q

也可以符号化为:

    ((p¬q)ÙØp)®Øq

  2.肯定后件式,其推理形式如下:

    只有p,才q

    q

    所以,p

也可以符号化为:

    ((p¬q)Ùq)®p

  三、充分必要条件假言推理

  充分必要条件假言推理是前提中有一个是充分必要条件假言判断的假言推理。

  充分必要条件假言推理有两条规则:第一,肯定前件就要肯定后件,否定后件就要否定前件;第二,否定前件就要否定后件,肯定后件就要肯定前件。

  根据规则,充分必要条件假言推理有四个有效式:

  1.肯定前件式,其推理形式如下:

    p当且仅当q

    p

    所以,q

也可以符号化为:

    ((p«q)Ùp)®q

  2.否定后件式,其推理形式如下:

    p当且仅当q

    非q

    所以,非p

也可以符号化为:

    ((p«q)ÙØq)®Øp

   3.否定前件式,其推理形式如下:

    p当且仅当q

    非p

    所以,非q

也可以符号化为:

    ((p«q)ÙØp)®Øq

  4.肯定后件式,其推理形式如下:

    p当且仅当q

    q

    所以,p

也可以符号化为:

    ((p«q)Ùq)®p

  

以上是广州自考网(www.guangzhouzikao.com)整理的“普通逻辑学习笔记 假言推理”相关资讯,如果您还想了解更多广州自考网、广州自考报名和广州自考本科的资讯,请浏览本站其它文章。


上一篇:普通逻辑学习笔记 选言推理
下一篇:普通逻辑学习笔记 二难推理

《广州自考网》免责声明:

1、由于考试政策等各方面情况的调整与变化,本网提供的考试信息仅供参考,最终考试信息请以省考试院及院校官方发布的信息为准。

2、本站内容部分信息均来源网络收集整理或来源出处标注为其它媒体的稿件转载,免费转载出于非商业性学习目的,版权归原作者所有,如有内容与版权问题等请与本站联系。联系邮箱:812379481@qq.com