普通逻辑学习笔记 二难推理
来源:江苏自考网
时间:2018-05-23 12:27:59
二难推理是假言选言推理的一种。假言选言推理就是以假言判断和选言判断为前提所构成的推理。二难推理的前提中有两个假言判断和一个只有两个选言支的选言判断。二难推理有以下四个有效式:
一、简单构成式
如果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
欢迎关注“江苏自考网”微信公众平台 (自考资讯,一手掌握!) |
欢迎加入“江苏自考网”微信交流群 (扫码进群,领取《 |
8888人已通过
江苏自考网》免责声明:
(一)由于考试政策等各方面情况的不断调整与变化,本网站所提供的考试信息仅供参考,请以省考试院及院校官方发布公布的正式信息为准。
(二)本站文章内容信息来源出处标注为其他平台的稿件均为转载稿,免费转载出于非商业性学习目的,版权归原作者所有。如您对内容、版权等问题存在异议请与本站联系,我们会及时进行处理解决,联系邮箱:952056566@qq.com。