构造推理证明: 前提：(p∧q)→r,非r∨s,非s,p 结论：非q
1个回答
关注
![]()
展开全部
亲，您好很高兴为您解答-s→-r-r→-（p 并且 q）-（p 并且 q）→p或q所以，只要p，就可以→=-q┐s∧┐r1置换。┐s2化简。p→s前提引入。┐p34拒取式。┐r2化简。q→r前提引入。┐q67拒取式。┐p∧┐q58合取。因为(┐(p∨q))∧(p∨q)0，所以原推理是正确的。
咨询记录 · 回答于2022-06-26
构造推理证明: 前提：(p∧q)→r,非r∨s,非s,p 结论：非q
亲，您好很高兴为您解答-s→-r-r→-（p 并且 q）-（p 并且 q）→p或q所以，只要p，就可以→=-q┐s∧┐r1置换。┐s2化简。p→s前提引入。┐p34拒取式。┐r2化简。q→r前提引入。┐q67拒取式。┐p∧┐q58合取。因为(┐(p∨q))∧(p∨q)0，所以原推理是正确的。
亲，您还有其他问题需要咨询的吗？
希望我给您的答案能对您有一些帮助，希望可以得到您的赞呦，非常感谢，祝您生活愉快，顺顺利利，
已赞过
评论
收起
你对这个回答的评价是？
