关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2021-04-14 下列说法正确的是（ ）? 归结原理是一种基于归纳法的自动定理证明技术|应用归结原理不能判定命题逻辑公式不成立|吴方法是一种基于代数计算的自动定理证明方法|无 下列说法正确的是（ ）? 归结原理是一种基于归纳法的自动定理证明技术|应用归结原理不能判定命题逻辑公式不成立|吴方法是一种基于代数计算的自动定理证明方法|无 答案： 查看 举一反三 归结原理实现定理证明基于的是产生式知识表示形式 应用归结原理证明定理的过程称为归结反演。 归结原理实现定理证明基于的是产生式知识表示形式 A: 正确 B: 错误 利用归结原理证明定理时，若得到的归结式为（），则结论成立。 利用归结原理证明定理时，若当前归结式是，则定理得证
