问答题

简答题 ((P→Q)∧(R→S))∧(P∨R)→Q∨S用归谬赋值法判断推理是否正确

【参考答案】

((P→Q)∧(R→S))∧(P∨R)→Q∨S
等价于:非(((P→Q)∧(R→S))∧(P∨R))∨Q∨S......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)