逻辑学证明题 求大佬带飞~
返回本版】  【发表帖子】  【回复帖子 浏览量  1295      回帖数 9
so丶sexy    等级  ★★★

楼主 发表于  2017/5/7 21:25:52    编 辑   


条件证明与反证法证明以下推理是正确的:
1.K→[(M∨V)→(P∨Q)],L→[(Q∨R)→(S∨?N)]/(K∨L)→?N
2..A→[B→(C∨?D)],(B∨E)→(D∨E)/(A∧B)→(C∧E)
3.?x(Ax→Bx),?x(Cx→Dx)/?x(Ax∨Cx)→?x(Bx∨Dx)



凌晨    等级  ★★★

2 楼 发表于  2017/5/7 22:51:39    编 辑   


求大神解答!!



大西北的不死鸟    等级  ★★

3 楼 发表于  2017/5/8 0:43:58    编 辑   


求大神解答!!



huangshuo    等级  ★★

4 楼 发表于  2017/5/8 2:57:49    编 辑   


求大神解答!!



summerann    等级  ★★

5 楼 发表于  2017/5/8 6:11:41    编 辑   


/是什么意思???



凌晨    等级  ★★★

6 楼 发表于  2017/5/8 7:30:54    编 辑   


哈哈 杨海波的逻辑学?



张晓缨    等级  ★★★

7 楼 发表于  2017/5/8 8:47:49    编 辑   






caol007    等级  ★★★

8 楼 发表于  2017/5/8 11:34:45    编 辑   


另一个帖子,我做了



小菜头9    等级  ★★

9 楼 发表于  2017/5/8 12:49:06    编 辑   


其他的你做了吗



chaire    等级  ★★★

10 楼 发表于  2017/5/8 15:21:47    编 辑   


直接不会


1
表情
所有内容均为会员自愿发表,并不代表本站立场.

您输入的密码有误,请重新输入