归结的近义词有：归纳，归结[guī jié]的解释：归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时，对任一要证明的永真公式取非后，证明它不可满足，为此先转化成一种标准型，然后对这个标准型不断使用单一的推理规则，即实行归结，直到导出矛盾。
guī nà
归纳 归纳（guī nà），指归拢并使有条理（多用于抽象事物），也指一种推理方法，由一系列具体的事实概括出一般原理（跟“演绎”相对）。另外，数学中的所谓归纳，是指从许多个别的事物中概括出一般性概念、原则或结论的思维方法。 [查看详情]
归纳。
归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时，对任一要证明的永真公式取非后，证明它不可满足，为此先转化成一种标准型，然后对这个标准型不断使用单一的推理规则，即实行归结，直到导出矛盾。[查看详细解释]