题目:反演归结(消解)证明定理时,若当前归结式是空子句时,则定理得证。( )
A. 正确
B. 错误
答案:评论后可见此内容
推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。