证明 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置换