反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

1 阅读

反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

  • A: 永真式
  • B: 包孕式
  • C: 空子句

请帮忙给出正确答案和分析,谢谢!