多做题，通过考试没问题！

人工智能

睦霖题库>大学试题(计算机科学)>人工智能

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

  • A、永真式
  • B、包孕式
  • C、空子句
正确答案:C
答案解析:有
进入题库查看解析

微信扫一扫手机做题

最新试题
热门试题