歸結(jié) 歸結(jié)原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時，對任一要證明的永真公式取非后，證明它不可滿足，為此先轉(zhuǎn)化成一種標準型，然后對這個標準型不斷使用單一的推理規(guī)則，即實行歸結(jié)，直到導(dǎo)出矛盾。

基本解釋

歸結(jié)guījié

(1)[settle]∶了結(jié)

歸結(jié)這樁公案

(2)[putinanutshell;sumup]∶總括而求得結(jié)論

然后大家議論之后,歸結(jié)是不怕。——魯迅《社戲》

歸結(jié)guījié

[end(ofastory,etc.)]歸宿,結(jié)果定局

這部小說是以主人公出走做歸結(jié)的

辭典解釋

歸結(jié)guījiéㄍㄨㄟㄐㄧㄝˊ

結(jié)果、最后。
《三俠五義．第一○五回》：「白玉堂英名一世，歸結(jié)卻遭了別人的暗算，豈不可氣可恥！」

總括而求得結(jié)論。

英語tosumup,toconclude,inanutshell,theend(ofastory)?

德語zusammenfassen,zusammennehmen(V)?

法語résumer,enrésumé

網(wǎng)絡(luò)解釋

歸結(jié)

歸結(jié)原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時，對任一要證明的永真公式取非后，證明它不可滿足，為此先轉(zhuǎn)化成一種標準型，然后對這個標準型不斷使用單一的推理規(guī)則，即實行歸結(jié)，直到導(dǎo)出矛盾。