【单选题】应用归结原理证明定理的过程称为归结反演,下面是关于归结反演的一般步骤,其中正确的顺序为()。 (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. （1）（2）（3）（4） B. （2）（1）（3）（4） C. （3）（1）（2）（4） D. （1）（3）（2）（4）
