词语 | 歸結的读音 歸結的意思 |
释义 |
归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。
“歸結”的读音
“歸結”的意思
|
随便看 |
|
国文网汉语词典提供日常词语大全、包括词语的拼音读音、解释含义、出处来源、近义词、反义词以及其它信息,还提供全方位的词语查询功能,例如:查解释、查拼音、查相关词、查近义词、查反义词、查组词以及词语造句等,是语文学习及写作的有益工具。