1) natural deduction t
自然演绎型
1.
Two intuitionistic systems of firstorder sentential calculus, Hilbert s type(HSI) and natural deduction type(NDSI), were introduced.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
2) natural deduction
自然演绎
1.
Abstract operator logic and its natural deduction system;
抽象算子逻辑及其自然演绎系统
3) natural deductive system
自然演绎系统
1.
The corresponding version in fuzzy logic of the natural deductive system of classical logic is disscussed.
讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。
4) Ideas were derived from nature
观念演绎于自然。
5) labeled natural deduction system
标号自然演绎系统
6) consciousness deducing
自觉演绎
1.
However,the unconsciousness deducing of competition rule to the common worth of the law help us to research this condition.
虽然,这种所谓的规则最终并不一定以法律命名的形式显示于现实之中,然而,恰恰是体育竞赛规则对法之一般价值的非自觉演绎,促成了我们对这种演绎状况开始进行"自觉"化的推演和改造。
补充资料：自然演绎法
自然演绎法
natural deduction method
2 1 rQn yanyi fa自然演绎法(naturaldeduction method)一种模拟人的演绎思维过程，在计算机上实现证明定理的方法。W.W.Bled岌犯于1975年提出。这种证明方法与定理机器证明的传统方法—归结方法在很多方面有本质的区别。 首先，自然演绎法证明的主导思想与归结方法不同。假设我们要证明的公式是H=>C，其中H是前提集合，C是结论集合，归结方法实际上采用的是反驳证明方法，转去证明H八(一C)的不可满足性。而自然演绎法却是直接证明H冷C的恒真性，其演绎过程与人们证明这个问题的思维过程十分类似，自然演绎这一名称也即由此而来。 因为证明的主导思想不同，自然演绎法在对一阶逻辑公式的Skolern化的过程上也与归结方法不同。归结方法的Skoleln化的结果是全称量化的，存在量词用Sk<通em函数代替，而自然演绎法恰恰相反，Skoleln化的结果是存在量化的，全称量词用Skoleln函数代替。 归结方法从反证的角度出发，对前提条件和要证明的结论不加区别。而自然演绎法却在证明中始终保持它们的区别，不断地分析前提和结论的逻辑结构，根据它们的结构选用不同的演绎规则。例如，假设要证明的公式具有H~(P八Q)的形式，则自然演绎法根据结论的合取形式，把要证的公式分裂成两个子目标H~尸和H一Q，证明了两个子目标后再综合出整个命题的证明。在证明过程中，归结方法只使用一条规则—归结规则，而自然演绎法却可以有很多条演绎规则。 自然演绎法的优点是演绎过程中所产生的子目标的数量较少，因而占用的存储空间也较少，证明问题的速度也比较快。中等难度的问题在人们容许的时间内即可得到证明。由于它的演绎过程和人对问题的证明过程类似，因而便于人机对话，实现交互式的证明。例如，如果机器证明的时间过长或者在证明过程中遇见问题时，可以中断证明，请求人的帮助与指导。 自然演绎法的弱点是它的不完备性—有些人们利用通常的推理方法能够证出来的定理，使用自然演绎法却证不出来。为了解决自然演绎法的不完备性问题，人们对自然演绎规则提出了各种修改意见。这些修改虽然能够解决自然演绎法在某些具体间题上的不完备性，却不能从根本上彻底解决它的不完备性。自然演绎法的不完备性之有效解决，至今仍是它的一个大问题。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条