在自然推理系统P中,构造下面推理证明：前提： (p∧q)→r，¬r∨s，¬s 结论：¬p∨¬q
展开全部
¬s 推出s=0
¬r∨s和结论1推出r=0
结论2和(p∧q)→r 推出 p∧q=0
结论3取反可推出结论¬p∨¬q=1
本回答被网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
¬s 推出s=0
¬r∨s和结论1推出r=0
结论2和(p∧q)→r 推出 p∧q=0
结论3取反可推出结论¬p∨¬q=1
类别
我们会通过消息、邮箱等方式尽快将举报结果通知您。
说明
0/200
