Question

第三题第二小题。

Answer 1

推理如下： 1）P 附加前提引入 2）P→R 前提引入 3）┒P∨R 等价替换 4）R ……（留给你） 5）(P→Q)∧(R→S) 6）P→Q 7）R→S 8）Q 9）S 10）(Q→W)∧(S→X) 11）Q→W 12）S→X 13）W 14）X 15）W∧X 16）┒(W∧X) 17） 15）16）矛盾 据归谬法，得证。