求大神做离散数学，构造下面推理的证明.写详细发图
答案:1 悬赏:20 手机版
解决时间 2021-03-20 15:21
- 提问者网友：謫仙
- 2021-03-19 21:15
求大神做离散数学，构造下面推理的证明.写详细发图
最佳答案
- 五星知识达人网友：duile
- 2021-03-19 21:49
(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三段论，
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯