离散数学，证明左边能推出右边的¬q ((¬(p∧q)∨r)∧(r→s)∧(¬s)∧p)→¬q
展开全部
（1）r→s
（2）¬s
（3）¬r
（4）¬(p∧q)∨r
（5）¬(p∧q)
（6）¬p∨¬q
（7）p
（8）¬q
（2）¬s
（3）¬r
（4）¬(p∧q)∨r
（5）¬(p∧q)
（6）¬p∨¬q
（7）p
（8）¬q
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
