普通逻辑学习笔记 二难推理
编辑整理: 贵州自考网 发表时间: 2018-05-23 【大 中 小】 点击数:
二难推理是假言选言推理的一种。假言选言推理就是以假言判断和选言判断为前提所构成的推理。二难推理的前提中有两个假言判断和一个只有两个选言支的选言判断。二难推理有以下四个有效式:
一、简单构成式
如果p,那么q
如果r,那么q
p或者r
所以,q
也可以符号化为:
((p®q)Ù(r®q)Ù(pÚr))®q
二、复杂构成式
如果p,那么q
如果r,那么s
p或者r
所以,q或者s
也可以符号化为:
((p®q)Ù(r®s)Ù(pÚr))®qÚs
三、简单破坏式
如果p,那么q
如果p,那么r
非q或者非r
所以,非p
也可以符号化为:
((p®q)Ù(p®r)Ù(ØqÚØr))®Øp
四、复杂破坏式
如果p,那么q
如果r,那么s
非q或者非s
所以,非p或者非r
也可以符号化为:
((p®q)Ù(r®s)Ù(ØqÚØs))®ØpÚØr
本文标签:贵州自考 串讲笔记 普通逻辑学习笔记 二难推理
转载请注明:文章转载自(http://www.crzkw.cn/)
⊙小编提示:添加【贵州自考网】招生老师微信,即可了解2025年贵州自考政策资讯、自考报名入口、准考证打印入口、成绩查询时间以及领取历年真题资料、个人专属备考方案等相关信息!
(添加“贵州自考网”招生老师微信,在线咨询报名报考等相关问题)
贵州自考网声明:
1、由于各方面情况的调整与变化,本网提供的考试信息仅供参考,考试信息以省考试院及院校官方发布的信息为准。
2、本网信息来源为其他媒体的稿件转载,免费转载出于非商业性学习目的,版权归原作者所有,如有内容与版权问题等请与本站联系。
贵州自考便捷服务
- 微信交流群
- 微信公众号
微信扫一扫加入考生微信群
①学习交流、②考试提醒、③自考解答
④自考资料、⑤新闻通知、⑥备考指导
贵州自考网微信公众号
随时获取贵州省自考政策、通知、公告
以及各类学习微信公众号
- 热点文章
- 常见问题