简答题 简述鲁滨逊归结原理基本思想？

【参考答案】

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

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