离散数学 构造下面的推理的证明
展开全部
(1)¬Q∨R 前提
(2)¬R前提
(3)¬Q (1)(2),I5析取三段论
(4)¬(P∧¬Q) 前提
(5)¬P∨Q (4),E11 德摩根定律
(6)¬P (3)(4),I5析取三段论
(2)¬R前提
(3)¬Q (1)(2),I5析取三段论
(4)¬(P∧¬Q) 前提
(5)¬P∨Q (4),E11 德摩根定律
(6)¬P (3)(4),I5析取三段论
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
