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