歸結(jié)的近義詞

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