归结

归结guī jié

1.了结。

例如归结这桩公案。

英文settle;

2.总括而求得结论。

例如然后大家议论之后，归结是不怕。 —— 鲁迅《社戏》

英文put in a nutshell; sum up;

归结guī jié

1.结果、最后。

例证《三侠五义 · 第一〇五回》：“白玉堂英名一世，归结却遭了别人的暗算，岂不可气可耻！”

2.总括而求得结论。

归结

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