几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
几种常用的归结策略： 、 、线形输入归结策略、单文字子句归结策略。
几种常用的归结策略： 、 、线形输入归结策略、单文字子句归结策略。
以下是归结原理中常见的归结策略,()不具有完备性。 A: 删除策略 B: 支持集策略 C: 线性归结策略 D: 单元归结策略
以下是归结原理中常见的归结策略,()不具有完备性。 A: 删除策略 B: 支持集策略 C: 线性归结策略 D: 单元归结策略
应用归结原理证明定理的过程称为归结反演。
应用归结原理证明定理的过程称为归结反演。
归结反演过程中归结不出空子句就认为结论不成立
归结反演过程中归结不出空子句就认为结论不成立
归结反演过程中归结不出空子句就认为结论不成立
归结反演过程中归结不出空子句就认为结论不成立
归结原理
归结原理
做什么会归结
做什么会归结
归结反演过程中归结不出空子句就认为结论不成立 A: 正确 B: 错误
归结反演过程中归结不出空子句就认为结论不成立 A: 正确 B: 错误
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）