归结的近义词

归结的近义词有:归纳,归结[guī jié]的解释:归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。

归结的近义词

归结的近义词详解

1 归纳
拼音:
guī nà
解释:
①归拢并使有条理(多用于抽象事物):归纳

“归结”单字解释

* 归结的近义词有:归纳,归结[guī jié]的解释:归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。