首页 试题详情
判断题

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

A正确

B错误

正确答案:A (备注:此答案有误)

相似试题

  • 判断题

    反演归结消解证明定理当前结式是空子句,则定理得证。

    答案解析

  • 判断题

    利用归结原理证明定理得到的结式为空集,则结论成立

    答案解析

热门题库