查询词典 deduction

Through the review and analysis, it tries to prove that a successful theory is merely logical deduction and concretion of an analyzing method.

本文目的在于通过这种回顾和分析，说明一种成功的理论，只是分析方法的逻辑推演和具体化。

Now they are waiting for the CONI Court of Arbitration verdicts in the hope of seeing their17-point Calciopoli deduction reduced.

现在，他们正在等体育仲裁法庭的判决，希望因电话门事件被扣17个积分有所减少。

The 3rd Plenary Session of the 16th Central Committee of CCP makes a decision such that "value-added tax is to be transformed from production-oriented to consumption-oriented; and equipment investment is to be allowed as an item for value-added tax deduction."

党的十六届三中全会作出了"增值税由生产型改为消费型，将设备投资纳入增值税抵扣范围"的决定。

In the field of logic such a process is known as induction, in contradistinction to the deduction process that leads to f=ma.

在逻辑学领域中，这样的过程统称为归纳，它与导出f=ma的推演过程截然不同。

The thesis resorts to the methods of deduction and counterevidence to demonstrate the defects of textualist and contextualist stylistics both theoretically and practically. Then it puts forward an analytical model, which incorporates them.

文章首先用演绎和反证的方法，从理论和实践两方面指出了文本主义文体学和语境主义文体学的缺点，然后提出了一种有机结合这二者的综合分析模式，并用该模式分析了安德鲁·马韦尔的《致羞涩的情人》，威廉·布莱克的《伦敦》和乔治·欧维尔的《绞刑》等三篇作品。

The thesis resorts to the methods of deduction and counterevidence to demonstrate the defects of textualist and contextualist stylistics both theoretically and practically. Then it puts forward an analytical model, which incorporates them. Finally, by applying this model to the analysis of Andrew Marvell's To His Coy Mistress, William Blake's London and George Owell's A Hanging, this analytical model is proved to be able to avoid many drawbacks common with the previous stylistic studies.

文章首先用演绎和反证的方法，从理论和实践两方面指出了文本主义文体学和语境主义文体学的缺点，然后提出了一种有机结合这二者的综合分析模式，并用该模式分析了安德鲁·马韦尔的《致羞涩的情人》，威廉·布莱克的《伦敦》和乔治·欧维尔的《绞刑》等三篇作品。

"Always"之类的强调词,如: e.g.4 The Covenantor hereby undertakes to procure that the Customer will comply with all the Customer's obligations to you, the beneficiaries of this deed,but should the Customer default in the payment when due of any payment or default in complying with any other obligation, the Covenantor will, without the need for any demand, make immediate payment or performance thereof as the case may be, at the place, in the funds and currency and/or in the manner required of the Customer and without any withholding or deduction whatsoever PROVIDED ALWAYS HOWEVER that no time for limitation of liability in respect of this Deed shall begin to run in favor of the Covenantor unless and until one or both of you shall have made demand on the Covenantor, and if more than one demand is made, then only from the date and to the extent of each demand respectively.

订约人兹承诺：保证客户将履行其对贵方—即本契约之共同或单独受益人—应尽之所有义务，但是假如客户未支付任何到期的款项或未能履行任何其他义务，订约人将在无需要求的 13 情况下，在客户指定的地点，以所要求的款项及货币形式及/或付款方式，立即做出支付或履行本契约的义务，所付款项不得有任何扣留和减少。但是，除非组成贵方之一公司或两公司已经向订约人提出要求，否则有关本契约之债务时效任何时候都不得按有利于订约人一方的方式开始计算；如果贵方向订约人提出一项以上的要求，则分别按每项要求提出的日期及具体状况开始计算债务时效。 7， any person who"的引导和翻译：，""的引导和翻译：在法律条例中，尤其在各地的刑法典及条例中，"any person who does…shall be guilty of an offence 类句型重复率相当高， person who 用来指称具备一定条件之人， any 并不似 whoever 那样可泛指所有的人，此外，any person who 是个定语从句，后边可以带好几个并行成份的句子而读者读起来不感到吃力，这点也非 whoever 能比，在句法上，该句型有时会把主语和谓语用逗号分开，中间加插一个定语修饰词。

We will be the number of actual receipt of payment and deduction of the corresponding more freight, customs duties and so on.

我们将按实际收货数量付款，并扣除相应多出的运费，关税等。

Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.

首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。