1.了结。
例归结这桩公案。
英settle;
2.总括而求得结论。
例然后大家议论之后,归结是不怕。 —— 鲁迅《社戏》
英put in a nutshell; sum up;
1.结果、最后。
引《三侠五义 · 第一〇五回》:“白玉堂英名一世,归结却遭了别人的暗算,岂不可气可耻!”
2.总括而求得结论。
归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。