General deduction and strong completeness of the formal deductive system L? are further studied.

Then it discusses how to use ERC + to design deductive database and gives an example.

探讨了演绎数据库设计的ERC+方法,并给出了应用实例.

Knowledge database and rational control policy were constructed based on production rule and deductive ratiocinate.

基于产生式规则的知识表示方法及基于演绎式推理的推理方式,建立了知识库和推理控制策略.

I call the former approach deductive and the latter approach inductive.

我把前者称为演绎方式,把后者称为归纳方式.

An analysis and discussion is also made on the conceptual proposition, deductive construction and logical implication.

分析讨论了元极学的概念命题演绎结构与逻辑特征.

The model for deductive theory is the propositional calculus.

演绎推理理论的模型是命题演算.

The application of law mainly uses deductive inference or syllogism inference.

法官适用法律中主要运用演绎推理或三段论推理.

The result calculated by the deductive method is wrong.

用演绎法推算的结果是错误的.

At one point in the Metaphysics, Aristotle seems to distinguish between empirical studies and deductive logic.

在《形而上学》一书中, 亚里士多德似乎已谈到了经验研究和推理逻辑的区别.

On the other hand, deductive reasoning plays a significant role in the Platonic approach.

在另一方面, 演译推理在柏拉图式科学研究中起着重要的角色.

There, he met Professor John Bell, who was well-known for using deductive reasoning to diagnose diseases.

在那儿, 他认识了约翰贝尔教授,贝尔教授因使用演绎推理来诊断疾病而闻名于世.

A detective must use DEDUCTIVE REASONING to solve a case.

侦探必须用推论来破案.

Bell was good at deductive reasoning to diagnose disease.

比尔善于用用推断来诊疗病情.

At the time negotiation, the local bank deducts the loan and the interest.

议付时, 当地银行扣除先前的贷款和利息.

The familiar melody deducts the stirring times and expressing the unchanging sincerity.

熟悉的旋律,演绎时代的激越,回荡情怀不改的真切.

The rocky soil deducts from the value of his property.

多岩石的土壤减损他的地产价值.

And must be over the foundation that deducts the expense such as server, bandwidth, manpower gain.

而且必须在扣除服务器 、 带宽 、 人力等费用的基础之上盈利.

The hotel deducts ￡3 from the room price.

些饭店把房价减去了3英镑.

But Mr Dee studiously avoids such easy clich é s.

但迪先生刻意避开这样的陈词滥调.

Dee broke off a piece of limestone and thumbed it into the stream.

迪伊掰下一块石灰石,用拇指弹进河里.

Dee talked incessantly.

迪伊一直说个不停。