试题详情
单项选择题反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

A、永真式

B、包孕式

C、空子句

  • C
  • 关注下方微信公众号,在线模考后查看

热门试题