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

  • 发布时间:
  • 浏览:56
  • 来源:大数据
< >试卷标题:2019年陕西省专业技术人员继续教育网公需科目【人工智能与未来教育】练习考试课后测试答案
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式
B.包孕式(subsumed)
C.空子句
答案

验证码: 验证码:  

答案: 输入验证码查询

解析