反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
第1题：
此题为判断题(对，错)。
第2题：
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
第3题：
全体小项合取式为()。
A、可满足式
B、矛盾式
C、永真式
D、A、B、C都有可能
第4题：
充分条件假言判断的含义是（）。
第5题：
小型芯的装配有（）。
第6题：
A.永真式
B.包孕式(subsumed)
C.空子句
答案：C
第7题：
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
第8题：
依据对偶定理，若两逻辑式相等，则它们的对偶式也可以不相等。()
第9题：
测定水样中的总汞含量时，样品处理必须用（）方法
第10题：
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）