问题 更新时间2023/4/3 12:59:00 反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A.永真式B.包孕式（subsumed）C.空子句D.以上都不对 答案 登录 注册 参考答案：C 出自：联大 >> 信阳师范学院 人工智能
问题 更新时间2023/4/3 12:59:00
搜题
搜题
问题 更新时间2023/4/3 12:59:00
答案