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

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