简答题 鲁滨逊归结原理的基本思想是什么？

【参考答案】

鲁滨逊归结原理也称为消解原理。其基本思想是把永真性的证明转化为不可满足性的证明。
即要证明P->Q永真，只要能......

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