首页 试题详情
判断题

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

A正确

B错误

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

相似试题

  • 判断题

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

    答案解析

  • 判断题

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

    答案解析

热门题库