求大神做离散数学，构造下面推理的证明.写详细发图
展开全部
(1)¬q∨r 前提
(2)¬r前提
(3)¬q (1)(2),I5析取三段论
(4)¬(p∧¬q) 前提
(5)¬p∨q (4),E11 德摩根定律
(6)¬p (3)(4),I5析取三段论
（1）pV¬r前提
（2）r（结论的前提）
（3）p(1)(2),I5析取三段论
（4）p→（q→s）前提
（5）p（见（3））
（6）（q→s）三段论
（7）q，前提
（8）s三段论，
(2)¬r前提
(3)¬q (1)(2),I5析取三段论
(4)¬(p∧¬q) 前提
(5)¬p∨q (4),E11 德摩根定律
(6)¬p (3)(4),I5析取三段论
（1）pV¬r前提
（2）r（结论的前提）
（3）p(1)(2),I5析取三段论
（4）p→（q→s）前提
（5）p（见（3））
（6）（q→s）三段论
（7）q，前提
（8）s三段论，
本回答由网友推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
