离散数学题,数理逻辑 求高手答疑 前提:(p﹀q)->r, ﹁s﹀p, q 结论：s->r 不...

题目

离散数学题,数理逻辑 求高手答疑 前提:(p﹀q)->r, ﹁s﹀p, q 结论：s->r 不...
离散数学题,数理逻辑 求高手答疑
前提:(p﹀q)->r, ﹁s﹀p, q
结论：s->r
不用附加前提如何证明?想了很久没想出来.thanks!
请写出各步骤所用推理规则。谢谢。

答案

∧∨﹁
前提:(p∨q)->r,﹁s∨p,q
结论：s->r
证明：
1.q 前提引入
2.p∨q 附加律
3.(p∨q)->r 前提引入
4.r 2.3.假言推理
5.﹁s∨r 附加律
6.s->r 蕴含等值式