Question

急等：证明：P→┐ Q,P→R,R→┐ S=>S→ ┐Q

Answer 1

P→┐ Q 即 ┐ P V ┐ Q .(1)

┐P→R 即 P V R .(2)

R→┐ S 即 ┐R V ┐ S .(3)

结论的否定 ┐( S→ ┐Q ) 即 ┐( ┐S V ┐ Q) 即 S.(4) Q.(5)

(2)(3)消去得 P V ┐S.(6)

(4)(6)消去得 P.(7)

(1)(5)消去得 ┐ P.(8)

(7)(8)归结,为空子句

原命题成立