在自然推理系统中构造下面推理的证明：前提：p→r,q→s,p∧q，结论：r∧s
1个回答
展开全部
p^q
p
r
p^q
q
s
r
s
r^s
注：换行表示“推出”关系，分段表示上一段演绎结束
p
r
p^q
q
s
r
s
r^s
注：换行表示“推出”关系，分段表示上一段演绎结束
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
