guī jié

归结

  • 词语读音guī jié
  • 词语注音ㄍㄨㄟ ㄐㄧㄝ ˊ
  • 繁体字形歸結

基本解释

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

词语解释

基本解释

归结 guījié

(1) [settle]∶了结

归结这桩公案

(2) [put in a nutshell;sum up]∶总括而求得结论

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

归结 guījié

[end(of a story,etc.)] 归宿,结果定局

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

辞典解释

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

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

总括而求得结论。

网络解释

归结

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

“归结”单字意思解释

“归结”的近义词

“归结”的反义词