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

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/28 14:33:59
离散数学题,数理逻辑 求高手答疑 前提:(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 不...离散数学题,数理逻辑 求高手答疑前提:(p﹀q)->r, ﹁s﹀p, q结论:s->r不用附加前提如何证明?想了很久没想出来.thanks!请
离散数学题,数理逻辑 求高手答疑 前提:(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 不...离散数学题,数理逻辑 求高手答疑前提:(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 蕴含等值式