查询词典 deductive

The necessity to the research on deductive database,its theory and implementing method are discussed. In addition,an efficient method for designing deductive database system——DDBASE is alsopresented.

讨论了演绎数据库研究的必要性，然后分析了与其相关的理论和实现方法，提出了一种有效的演绎数据库系统DDBASE的实现方法。

Most scholars believe that people can not obtain new knowledge from deductive reasoning because the premiss of the deductive reasoning already contain s its conclusion.

大多数学者认为演绎推理不可获取新的知识，原因在于演绎推理的前提已经蕴涵其结论。

This difference, it should be observed, applies only to the question of proving God's actual existence; for, His self-existence being admitted, it is necessary to employ a priori or deductive inference in order to arrive at a knowledge of His nature and attributes, and as it is impossible to develop the arguments for His existence without some working notion of His nature, it is necessary to some extent to anticipate the deductive stage and combine the a priori with the a posteriori method.

这种差异，应该得到遵守，只适用於该问题的证明上帝的实际存在，他的自我存在，被承认，有必要聘请一名或先验演绎推理，以得出一个认识他的本质和属性，因为这是不可能发展的论点，他的存在，如果没有某种工作的概念，其本质，是要在一定程度上预测演绎阶段结合起来，把先验与后验方法。

A fully-developed or advanced scientific theory is a well-organized logic deductive system which is comprised of scientific axioms, deductive propositions or scientific laws, and scientific facts.

成熟的或高级的科学理论是由科学公理、导出命题或科学定律、科学事实三大块组成的严密的逻辑演绎体系。

Ripe and advanced scientific theory is a well-organized logic deductive system. It consists of scientific axioms (basic concepts and basic hypotheses), deductive propersitions, and scientific facts.

老练的或高级的科学表面是由科学正义、导出命题或科学定律、科学真相三大块组成的缜密的逻辑演绎体系。

So we can deductive the influence of environmental hormone to dendritic cells is one of the reasons that cause the immune system have aberrance.

所以可以推论环境荷尔蒙对树突细胞的影响，是造成免疫系统的异常的原因之一。

The result showed that both adults and eighth grade students could consider the deductive reasoning and algebraic form efficient, but the eighth grade students did not rate the inductive reasoning low.

八年级在错误的符号论证中的第二次评分显著低於第一次，挑选第二次评分进行年龄(3)×形式(2)×推理(2)以及年龄(3)×形式(2)×正误(2)两个三因子变异数分析，与评分理由的分析。

Another approach is to prove connections with alternate formal semantics independently developed, such as the axiomatic semantics that underline tools for deductive verification of programs (see Appel and Blazy2 for an example).

另外一种方式是证明与其他独立开发的、诸如程序证明推导工具所基于的公理语义（如Appel and Blazy[2]）等形式语义的关系。

The concept of logic ; Aristotelian logic ; deductive logic ; inductive logic ; dialectical logic.

逻辑观；亚里士多德逻辑；演绎推理；归纳逻辑；辩证逻辑

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

The circulation, consumption and reproduction of the trilogy have not only testified to its historical significance and literariness, but also invested it with new meanings.

该三部曲的流通、消费与再生产不仅验证了其历史意义及文学性，而切还赋予它以新的意义。

If he thought that he could buy me off, he would be wrong.

如果他认为他可以收买我，那他就大错特错了。