前提 p-->q,p-->r
结论 p-->(q^r)
{其中^为 交集符号,实在不知怎么打上去}
在自然推理系统P中,构造下面推理证明
答案:1 悬赏:80 手机版
解决时间 2021-05-01 23:50
- 提问者网友：無理詩人
- 2021-05-01 02:29
最佳答案
- 五星知识达人网友：摆渡翁
- 2021-05-01 03:01
不知道你还需不需要答案 其实我本来也是想来找找自然推理的问题的， 有一个问题前提中需要消去结论留条件
p->q 1
q->r 2
p的子证明 3
q 4 ->E:1,3
r 5 ->E:2,4
q^r 6 ^I:4,5
p->(q^r) 7 ->I:3,6
p->q 1
q->r 2
p的子证明 3
q 4 ->E:1,3
r 5 ->E:2,4
q^r 6 ^I:4,5
p->(q^r) 7 ->I:3,6
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯