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

[单选题]反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A . 永真式B . 包孕式C . 空子句

[填空题] 用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

[名词解释] 归结原理

327.鲁宾逊归结原理中，设 C1 与 C2 是子句集 S 中的两个子句，C12是它们的归结式，若把 C12 加入 S 中，得到新子句集 S2，则 S 与 S2

[填空题] 在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）

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

[填空题] 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

[填空题] 归结法中，可以通过（）的方法得到问题的解答

[主观题]什么是法律责任的归结？试述公正归结原则的含义和要求。

[问答题] 什么是归结控制策略？什么样的归结控制策略是完备的？