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

归结原理 归结法中，可以通过修改证明树的方法得到问题的解答。() 在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（） 简述鲁滨逊归结原理基本思想？ 归结演绎推理中，我们需要证明，由条件和结论化成的子句集，是可满足的 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。 40条发明原理按照效能可以归结为：（）（）（）（）。 在中国开展地方政府原理研究的目的可以归结为（） 韦纳的研究证明，把成功归结为内部原因，会使人感到（） 什么是归结控制策略？什么样的归结控制策略是完备的？ 中国大学MOOC: 归结演绎推理中的限制策略是通过对参加归结的子句进行种种限制，尽可能减小归结的盲目性， 使其尽快的归结出亲本子句。 命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？ 用火来归结自然界的事物有用火来归结自然界的事物有（） 路南石林成因主要归结于（）。 梁归结为3类：（）。 理财目标可以归结为（） 按视频中所讲，所有单元操作的物理原理都可以归结为“三传”（） 从“伯努利定理”可得到的‘重要结论’是：( )。 欧美企业文化可以归结为灵性主义，日本、华人企业文化可以归结为理性主义。() 用金来归结人体的各种组织和功能的用金来归结人体的各种组织和功能的（）