归结演绎推理中，我们需要证明，由条件和结论化成的子句集，是可满足的
举一反三
- 【多选题】下列说法正确的是() A. 空子句是永假的,不可满足的 B. 在谓词逻辑中,不是任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集 C. 任何文字的析取式称为子句 D. 归结演绎定理证明的 实质是对前提P和结论Q,证明P->Q的永真性
- 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
- 中国大学MOOC: 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
- 归结演绎推理中的删除策略是通过删除某些无用的子句来缩小归结的范围。
- 归结演绎推理中的限制策略是通过对参加归结的子句进行种种限制，尽可能减小归结的盲目性， 使其尽快的归结出亲本子句。