证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q .
问题描述：
证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q .
答
1、┐S
2、┐R∨S
3、R 12析取三段论
4、P∧Q→R
5、┐(P∧Q)34拒取式
6、┐P∨┐Q 5置换