证明下列论证的有效性
(1) P→Q, (┐Q∨R)∧┐R, ┐(┐P∧S)=>┐S (2) ┐P∨Q, ┐Q∨R, R→S=>P→S (3) R→┐Q, R∨S, S→┐Q, P→Q=>┐P
(1) 1。P->Q 2。┐P∨Q 3。(┐Q∨R)∧┐R 4。┐Q∧┐R 5。┐Q 6。┐P 7。┐(┐P∧S) 8。P∨┐S 9。┐S 6,8 (2) 1。
┐P∨Q 2。┐P 3。┐Q∨R 4。R 5。R->S 6。┐R∨S 7。S 8。┐P∨S 9。P->S (3) 1。R→┐Q 2。
┐R∨┐Q 3。┐R 4。┐Q 5。R∨S 6。S 3,5 7。S→┐Q 8。┐S∨┐Q 9。┐Q 6,8 10。P→Q 11。
┐P∨Q 12。Q 13。┐P 9,12。
答:详情>>