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