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

基本解釋

歸結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é

網(wǎng)絡解釋

歸結

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