归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。
【拼音读音】
[guī jié]
【汉字注音】
ㄍㄨㄟ ㄐㄧㄝ ˊ
【简繁字形】
歸結
【是否常用】
是
(1) [settle]∶了结
归结这桩公案
(2) [put in a nutshell;sum up]∶总括而求得结论
然后大家议论之后,归结是不怕。——鲁迅《社戏》
归结 guījié
[end(of a story,etc.)] 归宿,结果定局
这部小说是以主人公出走做归结的
结果、最后。 《三侠五义.第一○五回》:「白玉堂英名一世,归结却遭了别人的暗算,岂不可气可耻!」
总括而求得结论。
归字的详细解释
【结】:[jié]1.在条状物上打疙瘩或用这种方式制成物品:结绳。结网。结彩。2.条状物打成的疙瘩:打结。活结。死结。蝴蝶结。3.发生某种关系;结合:结仇。结社。结为夫妻。4.凝聚;凝结:结晶。湖面结了一层冰。5.结束;了结:结账。归根结底。你不理他不就结了吗?6.旧时保证负责的字据:保结。具结。7.姓。[jiē]长出(果实或种子):树上结了不少苹果。这种花结子儿不结?。园地里的南瓜、豆荚结得又大又多。
结字的详细解释
归纳
归根结底 归根结柢 归根到底 归根结蒂
回归归来归纳归宿归还归根归结归侨归属归根到底归国归于归根结底归功归案无家可归终归归队划归归咎
结束结构结合团结总结结果结婚结论结算结局结晶冻结勾结结实凝结归结终结联结结识症结
一切节省,归根到底都归结为时间的节省。马克思
把友谊归结为利益的人,我认为是把友谊中最宝贵的东西勾销了。西塞罗
把友谊归结为利益的人,为是把友谊中最宝贵的东西勾销了。
***领导者的责任,归结起来,主要地是出主主意,用干部两件事。
妒忌是一种感情状态,如悲伤一样,可以归结为是正常的。
一切经济最后都归结为时间经济。马克思
我们把美归结为质朴无华,实实在在,恰到好处。爱默生
将邪恶的产生归结于超自然的因素是没有必要的,人类自身就足以实施每一种恶行。
不要再把这些归结于是无谓的小事,不要再不屑于这些在你身边的点点滴滴。因为在这点滴小事的背后,包含的正是你对老师的尊重和肯定。人人都希望得到别人的敬重和认同,你我如此,更何况于那用自己的汗水辛勤耕耘,挥洒在教育园圃中的园丁呢?
* 归结的读音是:guī jié,归结的意思:归结 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。
本文链接:http://www.tadn.cn/hycd/17407023887702.html
上一篇:规程
下一篇:样本