欢迎您访问安徽自考网!网站为考生提供安徽自考信息服务,供学习交流使用,非政府官方网站,官方信息以安徽省教育招生考试院(https://www.ahzsks.cn/)为准 登录  网站导航

安徽自考网

自考热线:13696505113

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

编辑整理:  安徽自考网 发表时间:  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

内科护理学(一)

内科护理学(一)

文学概论(一)

文学概论(一)