欢迎您访问陕西自考网!网站为考生提供陕西自考信息服务,供学习交流使用,非政府官方网站,官方信息以陕西省招生考试院(www.sneea.cn)为准 RSS地图 | 网站导航

陕西自考网

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

编辑整理:陕西自考网 发表时间:2018-05-23 12:27:58   字体大小:【   【添加招生老师微信】


立即购买

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

  选言推理就是前提中至少有一个是选言判断的推理。也叫做选言三段论。它可以分为相容的选言推理和不相容的选言推理两种。

  一、相容的选言推理

  相容的选言推理就是前提中有一个是相容的选言判断的选言推理。

  相容的选言推理有两条规则:第一,否定一部分选言支,就要肯定另一部分选言支;第二,肯定一部分选言支,不能否定另一部分选言支。

  根据规则,相容的选言推理只有一个有效式,即:否定肯定式。其推理形式如下:

    p或者q    或    p或者q

    非p           非q

    所以,q         所以,p

也可以符号化为:

    ((pÚq)ÙØp)®q    或    ((pÚq)ÙØq)®p

  二、不相容的选言推理

  不相容的选言推理就是前提中有一个是不相容的选言判断的选言推理。

  不相容的选言推理有两条规则:第一,否定一部分选言支,就要肯定另一部分选言支;第二,肯定一部分选言支,就要否定另一部分选言支。

  根据规则,不相容的选言推理有两个有效式:

  1.否定肯定式,其推理形式如下

    要么p,要么q    或    要么p,要么q

    非p                                                      非q

    所以,q            所以,p

也可以符号化为:

    ((p`Úq)ÙØp)®q    或    ((p`Úq)ÙØq)®p

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

    要么p,要么q    或    要么p,要么q

    p                                                       q

    所以,非q           所以,非p

也可以符号化为:

    ((p`Úq)Ùp)®Øq    或    ((p`Úq)Ùq)®Øp

本文标签:陕西自考串讲笔记普通逻辑学习笔记 选言推理

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

本文地址:http://www.sxzk.sx.cn/zl/7554.html


《陕西自考网》免责声明:

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

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

陕西自考便捷服务

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

整理:陕西自考网 时间:2018-05-23 12:27:58   浏览( 


立即购买

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

  选言推理就是前提中至少有一个是选言判断的推理。也叫做选言三段论。它可以分为相容的选言推理和不相容的选言推理两种。

  一、相容的选言推理

  相容的选言推理就是前提中有一个是相容的选言判断的选言推理。

  相容的选言推理有两条规则:第一,否定一部分选言支,就要肯定另一部分选言支;第二,肯定一部分选言支,不能否定另一部分选言支。

  根据规则,相容的选言推理只有一个有效式,即:否定肯定式。其推理形式如下:

    p或者q    或    p或者q

    非p           非q

    所以,q         所以,p

也可以符号化为:

    ((pÚq)ÙØp)®q    或    ((pÚq)ÙØq)®p

  二、不相容的选言推理

  不相容的选言推理就是前提中有一个是不相容的选言判断的选言推理。

  不相容的选言推理有两条规则:第一,否定一部分选言支,就要肯定另一部分选言支;第二,肯定一部分选言支,就要否定另一部分选言支。

  根据规则,不相容的选言推理有两个有效式:

  1.否定肯定式,其推理形式如下

    要么p,要么q    或    要么p,要么q

    非p                                                      非q

    所以,q            所以,p

也可以符号化为:

    ((p`Úq)ÙØp)®q    或    ((p`Úq)ÙØq)®p

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

    要么p,要么q    或    要么p,要么q

    p                                                       q

    所以,非q           所以,非p

也可以符号化为:

    ((p`Úq)Ùp)®Øq    或    ((p`Úq)Ùq)®Øp


《陕西自考网》免责声明:

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

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