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

基本解釋

歸結(jié)guījié

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

歸結(jié)這樁公案

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

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

歸結(jié)guījié

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

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

辭典解釋

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

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

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

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

歸結(jié)

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