【多选题】下列说法正确的是()
A. 空子句是永假的,不可满足的 B. 在谓词逻辑中,不是任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集 C. 任何文字的析取式称为子句 D. 归结演绎定理证明的 实质是对前提P和结论Q,证明P->Q的永真性
A. 空子句是永假的,不可满足的 B. 在谓词逻辑中,不是任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集 C. 任何文字的析取式称为子句 D. 归结演绎定理证明的 实质是对前提P和结论Q,证明P->Q的永真性
举一反三
- 下列关于字句的说法错误的是（） A: 由于空子句不含有文字，它不能被任何解释满足，所以空子句是永假的，不可满足的 B: 在谓词逻辑中，任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集 C: 任何文字的合取式称为子句 D: 不包含任何文字的字句称为空子句
- 【单选题】应用归结原理证明定理的过程称为归结反演,下面是关于归结反演的一般步骤,其中正确的顺序为()。 (1)将已知前提表示为谓词公式 F 。 (2)把谓词公式集 {F, Q} 化为子句集 S 。 (3)将待证明的结论表示为谓词公式 Q ,并否定得到 Q 。 (4)应用归结原理对子句集 S 中的子句进行归结,并把每次归结得到的归结式都并入到 S 中。如此反复进行,若出现空子句,则停止归结,此时就证明了 Q 为真。 A. （1）（2）（3）（4） B. （2）（1）（3）（4） C. （3）（1）（2）（4） D. （1）（3）（2）（4）
- 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
- 归结演绎推理中，我们需要证明，由条件和结论化成的子句集，是可满足的
- 由谓词公式转化子句集的过程可以看出，在子句集中子句之间是_______关系，其中只要有一个关系不可满足，则子句集就不可满足。 A: 析取 B: 合取 C: 继承 D: 包含