归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时，对任一要证明的永真公式取非后，证明它不可满足，为此先转化成一种标准型，然后对这个标准型不断使用单一的推理规则，即实行归结，直到导出矛盾。[1]
相关查询
歸經 歸納 歸程 歸真 歸田 歸經 歸肝 歸肺 歸脾 歸航
汉语同义词近义词反义词词典收录了471290条汉字相似词词条，基本涵盖了全部常用汉字的同义词、近义词、反义词及词语用法辨析，是语文学习的必备工具。