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

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

永真式

包孕式（subsumed）

空子句

正确答案：空子句

★《布宫号》提醒您：民俗信仰仅供参考，请勿过度迷信！