归结的近义词是：归纳|，归结[guī jié]的意思是：归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时|，对任一要证明的永真公式取非后|，证明它不可满足，为此先转化成一种标准型|，然后对这个标准型不断使用单一的推理规则|，即实行归结，直到导出矛盾|。