[db:Intro]...
1. 意思是归结到根本上的成语
归根结蒂_金山词霸
拼 音：
guī gēn jié dì
解 释：
归结到根本上.蒂：花、果与枝茎相连的部分.
出 处：
清·张南庄《何典》：“……引得酒鬼相打；搅出人性命来.归根结柢；把一场着水人命一盘归去.”
示 例：
一切正确的思想；~只能从实践中来；并且回到实践中去加以检验.&^^&我们国家之所以取得这样大的成就；~；是由于中国 *** 的英明领导.
归结演绎推理是一种基于逻辑“反证法”的机械化定理证明方法。其推理规则如下：
首先归结演绎推理是一种基于逻辑“反证法”的机械化定理证明方法。其次它的推理规则是把永真性的证明转化为不可满足性的证明，即要证明 P → Q P→QP→Q 永真，只要能够证明 P ∧ ﹁ Q P∧﹁QP∧﹁Q 为不可满足即可。
谓词公式不可满足的充要条件是其子句集不可满足。因此，要把谓词公式转换为子句集，再用鲁滨逊归结原理求解子句集是否不可满足。如果子句集不可满足，则 P → Q P→QP→Q 永真。
简介：
归结演绎推理是由普通性的前提推出特殊性结论的推理。归结演绎推理演绎推理有三段论、假言推理和选言推理等形式。
三段论是指由两个简单判断作前提和一个简单判断作结论组成的演绎推理。三段论中三个简单判断只包含三个不同的概念，每个概念都重复出现一次。
这三个概念都有专门名称：结论中的宾词叫“大词”，结论中的主词叫“小词”，结论不出现的那个概念叫“中词”，在两个前提中，包含大词的叫“大前提”，包含小词的叫“小前提”。