不挂科搜题免费

问题:

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

选项

  • 永真式

  • 永假式

  • 空子句

  • 蕴含式

  • 答案:

    C.空子句