反演归结（消解）证明定理时，若当前归结式是（）时，则定理的证。

反演归结（消解）证明定理时，若当前归结式是（）时，则定理的证。
A.空子句
B.永真式
C.包孕式
正确答案：空子句