王老师:19139051760(拨打)复制微信 题目 更新时间:2024/6/10 反演归结(消解)证明定理时,若当前归结式是()时,则定理得证·永真式\t\t\t·包孕式(subsumed)\t\t·空子句 答案 登录 注册 单选题·空子句 出自:青书学堂 >> 佳木斯大学语言治疗学 佳木斯大学继续教育学院