关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2022-06-03 用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（） 用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（） 答案： 查看 举一反三 应用归结原理证明定理的过程称为归结反演。 用归结反演证明定理时,若当前归结式为____,则定理得证。 反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理的证。 A: 空子句 B: 包孕式 C: 永真式 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
