歸結的近義詞
歸結的近義詞有：歸納，歸結[guī jié]的解釋：歸結 歸結原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時，對任一要證明的永真公式取非后，證明它不可滿足，為此先轉化成一種標準型，然后對這個標準型不斷使用單一的推理規則，即實行歸結，直到導出矛盾。
歸結的近義詞詳解
- 1 歸納
- 拼音：
- guī nà
- 解釋：
- ①歸攏并使有條理（多用于抽象事物）：歸納
“歸結”單字解釋
* 歸結的近義詞有：歸納，歸結[guī jié]的解釋：歸結 歸結原理是1965年美國人Robinson提出的一種證明一階謂詞演算中定理的方法。使用這種方法時，對任一要證明的永真公式取非后，證明它不可滿足，為此先轉化成一種標準型，然后對這個標準型不斷使用單一的推理規則，即實行歸結，直到導出矛盾。