关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2021-04-14 反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 答案： 查看 举一反三 用归结反演证明定理时,若当前归结式为____,则定理得证。 反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句 反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。 A: A永真式 B: B包孕式 C: C空子句 利用归结原理证明定理时，若当前归结式是，则定理得证 反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理的证。 A: 空子句 B: 包孕式 C: 永真式
