离散数学 前提：(p∨q)→(u∧s)，(s∨t)→r 结论：p→r 用附加前提法推证
- 你的回答被采纳后将获得：
- 系统奖励15（财富值+成长值）+难题奖励20（财富值+成长值）
1个回答
展开全部
(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
(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
追问
前提里的是可以拆出某一部分的？
追答
这叫附加前提法
本回答被提问者和网友采纳
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
