逻辑学证明题求大佬带飞~

楼主

发帖数：1394 积分：4257

1楼

条件证明与反证法证明以下推理是正确的：
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)

发表于 2017/5/7 21:25:52

凌晨 [离线]

3★★★☆☆

发帖数：1407 积分：4298

2楼

求大神解答！！

发表于 2017/5/7 22:51:39

大西北的不死鸟 [离线]

2★★☆☆☆

发帖数：878 积分：2701

3楼

求大神解答！！

签名档

生命不息，折腾不止

发表于 2017/5/8 0:43:58

huangshuo [离线]

2★★☆☆☆

发帖数：815 积分：2512

4楼

求大神解答！！

发表于 2017/5/8 2:57:49

summerann [离线]

2★★☆☆☆

发帖数：810 积分：2497

5楼

/是什么意思？？？

发表于 2017/5/8 6:11:41

凌晨 [离线]

3★★★☆☆

发帖数：1407 积分：4298

6楼

哈哈杨海波的逻辑学？

发表于 2017/5/8 7:30:54

张晓缨 [离线]

3★★★☆☆

发帖数：1432 积分：4372

7楼

发表于 2017/5/8 8:47:49

caol007 [离线]

3★★★☆☆

发帖数：1370 积分：4185

8楼

另一个帖子，我做了

发表于 2017/5/8 11:34:45

小菜头9 [离线]

2★★☆☆☆

发帖数：857 积分：2638

9楼

其他的你做了吗

发表于 2017/5/8 12:49:06

chaire [离线]

3★★★☆☆

发帖数：1353 积分：4134

10楼

直接不会

发表于 2017/5/8 15:21:47