证明离散数学推理的有效性

给完整了吗?就这些是推不出来的.
再问： 额，确实抄错了，最后应该是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。