归结反演过程中归结不出空子句就认为结论不成立
A: 正确
B: 错误
A: 正确
B: 错误
举一反三
- 归结反演过程中归结不出空子句就认为结论不成立
- 归结反演过程中归结不出空子句就认为结论不成立
- 如果有A→B成立,那么归结过程____归结出空子句;如果A→B不成立,使用归结方法____得到结论。(在以上两空中填“能”或“不能”)
- 应用归结原理证明定理的过程称为归结反演。
- 【单选题】应用归结原理证明定理的过程称为归结反演,下面是关于归结反演的一般步骤,其中正确的顺序为()。 (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）