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