离散数学 这题怎么证明s→q是永真式
2个回答
展开全部
这是离散数学中最容易的证明题了。
证明：
① s 前提引入
② s->q 前提引入
③ q 由①②蕴含
④ q->p 前提引入
⑤ p 由③④蕴含
得到p了，证明结束。
证明：
① s 前提引入
② s->q 前提引入
③ q 由①②蕴含
④ q->p 前提引入
⑤ p 由③④蕴含
得到p了，证明结束。
追问
这样不是只能得出s→q吗？但是题目要证s=>q，怎么证？
追答
我晕，你将这个题目理解错了，这题实际上是证明
(q->p, s->q, s) => p
前面三个命题公式是前提，最后的p是结论
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
