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

lk2024-11-22  3

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

A. 正确

B. 错误

答案:评论后可见此内容

本站资源均来自互联网,侵权请联系站长删除

最新回复(0)
公众号图片
🔥推荐

推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。