詞語“歸結”的意思和解釋。
拚音 guī jié
注音 ㄍㄨㄟ ㄐㄧㄝˊ
詞性 名詞 動詞
類型 常用詞
近義詞 歸納
1.了結。
例如歸結這樁公案。
英文settle;
2.總括而求得結論。
例如然後大家議論之後，歸結是不怕。 —— 魯迅《社戲》
英文put in a nutshell; sum up;
1.結果、最後。
例證《三俠五義 · 第一〇五回》：“白玉堂英名一世，歸結卻遭了別人的暗算，豈不可氣可恥！”
歸結原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時，對任一要證明的永真公式取非後，證明它不可滿足，為此先轉化成一種標準型，然後對這個標準型不斷使用單一的推理規則，即實行歸結，直到導出矛盾。