逻辑学证明题 求大佬带飞~ | |
【返回本版】 【发表帖子】 【回复帖子】 | 浏览量 1296 回帖数 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 |
您输入的密码有误,请重新输入