问题 更新时间2024/6/10 16:15:00 反演归结(消解)证明定理时,若当前归结式是()时,则定理得证·永真式\t\t\t·包孕式(subsumed)\t\t·空子句 答案 登录 注册 单选题·空子句 出自:青书学堂 >> 佳木斯大学语言治疗学