查询词典 thrust 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的闭集之间的关系。

Aimed at DMU 70V model machining center by DECKEL MAHO company in Germany of Advanced Manufacturing Technology Lab, by means of 3-D graphics coordinate transformation, on the basis of the procedure of deduction of post-processing algorithm of other mode of motion axes and detailed deducing, the paper gives the post-processing algorithm for DMU 70V model machining center.

本文针对大连理工大学现代制造技术实验室购进的德国DECKEL MAHO公司出品的DMU 70V型加工中心，从三维图形坐标变换入手，借鉴其它运动轴方式的后置处理算法确定过程，通过详细的推导，得出了DMU 70V型加工中心的后置处理算法。

I should tell you that it is the last day for the deduction.

我告诉你，今天是这次减价的最后一天。

But that doesn't mean it's not a legitimate deduction.

但是，这并不意味着它不是一个合法的扣除。

These rules reflect some inherent feature of self and nonself, and they are the basic detection criterion of GECISM.

这些规则反映了"自我"和"非我"的内在特征，是GECISM进行"非我"检测的判据。

Until today, the media from China and the outside world still uses the term "Post 89". Regardless to whether it is for commercial gimmick or convenience, everybody still remember "Post 89", a term which carries a strong Cantonese accent.

时至今日，国内外艺术媒体还是在沿用&后八九&这个称谓，不管当初是为了商业噱头还是容易上口好记，反正大家现在是记住了&后八九&这个广东口音很重的词。