歸結

歸結guī jié

1.了結。

例如歸結這樁公案。

英文settle;

2.總括而求得結論。

例如然後大家議論之後，歸結是不怕。 —— 魯迅《社戲》

英文put in a nutshell; sum up;

歸結guī jié

1.結果、最後。

例證《三俠五義 · 第一〇五回》：“白玉堂英名一世，歸結卻遭了別人的暗算，豈不可氣可恥！”

2.總括而求得結論。

歸結

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