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

发布日期:2018-05-23 编辑整理:甘肃省自考网 【字体:

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

  一、充分条件假言推理

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

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

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

  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

  



免责声明

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

2、本网信息来源为其他媒体的稿件转载,免费转载出于非商业性学习目的,版权归原作者所有,如有内容与版权问题等请与本站联系。联系邮箱:952056566@qq.com


甘肃自考便捷服务

  • 微信交流群
  • 微信公众号


微信扫一扫加入考生微信群
①学习交流、②考试提醒、③自考解答
④自考资料、⑤新闻通知、⑥备考指导


  • 视频课程
  • 真题下载
英语(二)

英语(二)

行政法学

行政法学

文学概论(一)

文学概论(一)

内科护理学(一)

内科护理学(一)

思修(03706)

思修(03706)

中国近现代史纲要

中国近现代史纲要