欢迎您访问贵州自考网!网站为考生提供贵州自考信息服务,供学习交流使用,非政府官方网站,官方信息以贵州省招生考试院(http://zsksy.guizhou.gov.cn/)为准 登录  网站导航

贵州自考网

自考热线:400-0929-629

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

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

  


本文标签:贵州自考 串讲笔记 普通逻辑学习笔记 假言推理

转载请注明:文章转载自(http://www.crzkw.cn/

本文地址:http://www.crzkw.cn/zl/7555.html


小编提示:添加【贵州自考网】招生老师微信,即可了解2024年贵州自考政策资讯自考报名入口准考证打印入口成绩查询时间以及领取历年真题资料个人专属备考方案等相关信息!

贵州自考网招生老师微信
(添加“贵州自考网”招生老师微信,在线咨询报名报考等相关问题)


贵州自考网微信公众号

贵州自考网课程中心

贵州自考网声明:

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

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

贵州自考便捷服务

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


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

  • 视频课程
  • 真题下载
概率论与数理统计

概率论与数理统计

马克思主义基本原理概论

马原概论

中国近现代史纲要

中国近现代史纲要

思想道德修养与法律基础

思修03706

内科护理学(一)

内科护理学(一)

文学概论(一)

文学概论(一)