在自然推理系统P中用附加前提法证明下面推理。 前提P->(q->r),s->p,q 结论s->r 20
在自然推理系统P中用附加前提法证明下面推理。前提P->(q->r),s->p,q结论s->r哪位大神，帮帮忙。...
在自然推理系统P中用附加前提法证明下面推理。
前提P->(q->r),s->p,q
结论s->r哪位大神，帮帮忙。 展开
前提P->(q->r),s->p,q
结论s->r哪位大神，帮帮忙。 展开
展开全部
结论： q .推理过程 ( q) P（附加前提） 为什么要加否定？证明：A→(1.在结论前加否定是用的反证法， 当然也可以不用附加的，也可以做的 2.
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
