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