问答题

【参考答案】

证明:子句集:
(1)P
(2)~P∨~Q∨R
(3)~S∨Q

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