普通逻辑学习笔记 二难推理
编辑整理：陕西自考网 发表时间：2018-05-23 12:27:59 字体大小：【大 中 小】
【添加招生老师微信】
立即购买
《自考视频课程》名师讲解，轻松易懂，助您轻松上岸！低至199元/科！
二难推理是假言选言推理的一种。假言选言推理就是以假言判断和选言判断为前提所构成的推理。二难推理的前提中有两个假言判断和一个只有两个选言支的选言判断。二难推理有以下四个有效式：
一、简单构成式
如果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.sxzk.sx.cn）
《陕西自考网》免责声明：
1、由于各方面情况的调整与变化，本网提供的考试信息仅供参考，考试信息以省考试院及院校官方发布的信息为准。
2、本网信息来源为其他媒体的稿件转载，免费转载出于非商业性学习目的，版权归原作者所有，如有内容与版权问题等请与本站联系。联系邮箱：812379481@qq.com。