歸結

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

基本解释

归结guījié

(1)[settle]∶了结

归结这桩公案

(2)[putinanutshell;sumup]∶总括而求得结论

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

归结guījié

[end(ofastory,etc.)]归宿,结果定局

这部小说是以主人公出走做归结的

辞典解释

归结guījiéㄍㄨㄟㄐㄧㄝˊ

结果、最后。
《三侠五义．第一○五回》：「白玉堂英名一世，归结却遭了别人的暗算，岂不可气可耻！」

总括而求得结论。

英语tosumup,toconclude,inanutshell,theend(ofastory)​

德语zusammenfassen,zusammennehmen(V)​

法语résumer,enrésumé

网络解释

归结

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