离散数学 这题怎么证明s→q是永真式

如题所述

这是离散数学中最容易的证明题了。
证明：
① s 前提引入
② s->q 前提引入
③ q 由①②蕴含
④ q->p 前提引入
⑤ p 由③④蕴含
得到p了，证明结束。追问

这样不是只能得出s→q吗？但是题目要证s=>q，怎么证？

追答

我晕，你将这个题目理解错了，这题实际上是证明
(q->p, s->q, s) => p
前面三个命题公式是前提，最后的p是结论

温馨提示：内容为网友见解，仅供参考

当前网址：https://11.t2y.org/zz/f2spmpq87ps4svpq474.html