用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
第1题：
A.谓词逻辑
B.限制逻辑
C.删除逻辑
D.线性输入
第2题：
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
第3题：
A.计算归结和线面分析
B.形体分析和计算归结
C.归纳分析和验算分析
D.形体分析和线面分析
第4题：
造成低产茶园的原因可归结为（）、（）和（）。
第5题：
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
第6题：
A.永真式
B.包孕式(subsumed)
C.空子句
答案：C
第7题：
综合计划的六个目标可归结为：用（）最大限度地满足需求。
第8题：
什么是法律责任的归结？试述公正归结原则的含义和要求。
法律责任的归结，指由特定国家机关或国家授权的机关依法对行为人的法律责任进行判断和确认。
公正归结原则的含义：公正原则包括分配的公正和矫正的公正，实质公正和形式公正。
法律制度在利益分配和保护方面，在法律的实施过程中应当体现公正和公平。因此，在追究法律责任方面应当坚持公正原则。
公正归结原则的要求：在追究法律责任方面的公正要求是：
第一，对任何违法、违约的行为都应依法追究相应的责任。
第二，要求法律责任的性质、种类、轻重要与违法行为或违约行为以及对他人造成的损害相适应，即责任与违法或损害相均衡。
第三，公正要求综合考虑使行为人承担责任的多种因素，做到合理的区别对待。
第四，公正要求在追究法律责任时依据法律程序追究法律责任，非依法律程序，不得追究法律责任。
第五，坚持法律面前人人平等，对任何公民的违法犯罪行为，都必须同样地追究法律责任。
第9题：
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
第10题：
运动性疲劳症状可归结为（）、（）和（）三种类型。