改正下题证明中的错误． 前提： 结论： 证明过程： （1) P （2) US（1) （3)￢（)P（z) P（附加前提) （4)（)]

改正下题证明中的错误．

前提：

结论：

证明过程：

(1)P

(2)US(1)

(3)￢()P(z) P(附加前提)

(4)()]P(z) T(3)E

(5)￢P(a) US(4)

(6)￢P(a)∨]R(b，a) T(5)，

(7)()(￢P(z)∨]R(b，z)) UG(6)

(8)￢()(P(z)∧R(b，z)) T(7)E

(9)￢()(S(b，y)∧M(y)) T(2)(8)I

(10)()(￢S(b，y)∨￢M(y)) T(9)E

(11)()(S(b，y)→￢M(y)) T(10)E

(12)UG(11)

(13)CP