利用归结原理证明定理时，若得到的归结式为（），则结论成立。

归结原理 归结法中，可以通过修改证明树的方法得到问题的解答。() 在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（） 简述鲁滨逊归结原理基本思想？ 归结演绎推理中，我们需要证明，由条件和结论化成的子句集，是可满足的 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。 40条发明原理按照效能可以归结为：（）（）（）（）。 在中国开展地方政府原理研究的目的可以归结为（） 韦纳的研究证明，把成功归结为内部原因，会使人感到（） 什么是归结控制策略？什么样的归结控制策略是完备的？ 中国大学MOOC: 归结演绎推理中的限制策略是通过对参加归结的子句进行种种限制，尽可能减小归结的盲目性， 使其尽快的归结出亲本子句。 若流动比率小于1，则下列结论成立的是（　　）。 若流动比率大于1，则下列结论成立的是( ) 若流动比率大于1，则下列结论成立的是()。 若流动比率大于1,则下列结论成立的是( ) 若流动比率大于1，则下列结论成立的是（）。   若流动比率大于1，则下列结论成立的是（） 若流动比率大于1，则下列结论成立的是（） 若流动比率大于1，则下列结论成立的是（） 命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？