永发信息网

离散数学 前提:(p∨q)→(u∧s),(s∨t)→r 结论:p→r 用附加前提法推证

答案:1  悬赏:10  手机版
解决时间 2021-03-30 03:27
  • 提问者网友:轮囘Li巡影
  • 2021-03-29 13:16
离散数学 前提:(p∨q)→(u∧s),(s∨t)→r 结论:p→r 用附加前提法推证
最佳答案
  • 五星知识达人网友:狂恋
  • 2021-03-29 13:27
(1)p
(2)p∨q
(3)(p∨q)→(u∧s)
(4)u∧s
(5)s
(6)s∨t
(7)(s∨t)→r
(8)r
(9)p→r追问前提里的是可以拆出某一部分的?追答这叫附加前提法
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息,可以点下面链接进行举报!
点此我要举报以上问答信息
大家都在看
推荐资讯