问答题

【参考答案】

首先把欲证明问题的结论否定,并加入子句集,得到一个扩充的子句集S’。然后设法检验子句集S’是否含......

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