字词 | 归结 |
释义 | guījié 归结
归结的意思词语解释归结guī jié
归结guī jié
引证解释
国语辞典归结guī jié
网络解释归结归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。 归结的字义分解
【归结】的常见问题
|
随便看 |
|
汉语字词典共收录619831条汉语词条,基本涵盖了全部常用汉语字词的释义及用法,是语文学习的必备工具。