应用归结原理证明定理的过程称为归结反演。
举一反三
- 用归结反演证明定理时,若当前归结式为____,则定理得证。
- 用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
- 反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。
- 下列说法正确的是（ ）? 归结原理是一种基于归纳法的自动定理证明技术|应用归结原理不能判定命题逻辑公式不成立|吴方法是一种基于代数计算的自动定理证明方法|无
- 【单选题】应用归结原理证明定理的过程称为归结反演,下面是关于归结反演的一般步骤,其中正确的顺序为()。 (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）