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

 我来答
  • 你的回答被采纳后将获得:
  • 系统奖励15(财富值+成长值)+难题奖励20(财富值+成长值)
馒头烂布
2016-10-09 · TA获得超过830个赞
知道小有建树答主
回答量:643
采纳率:100%
帮助的人:105万
展开全部
(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
追问
前提里的是可以拆出某一部分的?
追答
这叫附加前提法
本回答被提问者和网友采纳
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式