归结
总括而求得结论：原因很复杂，～起来不外三个方面；结局：这件事儿总算有了一个～。
繁体歸結
拼音 guī jié
注音ㄍㄨㄟ ㄐㄧㄝ ˊ
近义词 归纳
词语解释
总括而求得结论：原因很复杂，～起来不外三个方面；结局：这件事儿总算有了一个～。
网络解释
- 归结
- 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时，对任一要证明的永真公式取非后，证明它不可满足，为此先转化成一种标准型，然后对这个标准型不断使用单一的推理规则，即实行归结，直到导出矛盾。