灵鹊做题网证明离散数学推理的有效性
来源：学生作业帮 编辑：灵鹊做题网作业帮 分类：数学作业 时间：2024/04/30 00:57:15
证明离散数学推理的有效性
给完整了吗?就这些是推不出来的.
再问： 额，确实抄错了，最后应该是R析取S
再答： 还是不行！请再仔细检查一下，别浪费别人的时间。
再问： 没有错，我算了半天也算不对，多了个非，应该是题目错了
再答： 应该是 {P→(Q→S)，Q，P∨┐R}┣ ┐R∨S。 这样，就可证明： (1) P→(Q→S) 前提引入 (2) Q→(P→S) (1)置换 (3) Q 前提引入 (4) P→S (2)(3)假言推理 (5) ┐P∨S (4)置换 (6) P∨┐R 前提引入 (7) R 附加前提 (8) P (6)(7)析取三段论 (9) S (4)(8)假言推理 故证得结论 R→S，即 ┐R∨S。
再问： 额，确实抄错了，最后应该是R析取S
再答： 还是不行！请再仔细检查一下，别浪费别人的时间。
再问： 没有错，我算了半天也算不对，多了个非，应该是题目错了
再答： 应该是 {P→(Q→S)，Q，P∨┐R}┣ ┐R∨S。 这样，就可证明： (1) P→(Q→S) 前提引入 (2) Q→(P→S) (1)置换 (3) Q 前提引入 (4) P→S (2)(3)假言推理 (5) ┐P∨S (4)置换 (6) P∨┐R 前提引入 (7) R 附加前提 (8) P (6)(7)析取三段论 (9) S (4)(8)假言推理 故证得结论 R→S，即 ┐R∨S。