演绎的

Legal syllogism is the basic model which is used by the accuser, the defender and the trier in criminal trial. What is its logical foundation? There are mainly three kinds of viewpoints up to now. According to traditional theory, it is categorical syllogism and deductivists think it is whole deductive logic, while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Legal syllogism is the basic model which is used by the accuser,the defender and the judge in criminal trial.What is its logical foundation? There are mainly three kinds of viewpoints up to now.According to traditional theory,it is categorical syllogism,and deductivists think it is whole deductive logic,while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Being based on the acknowledgement of continuum medium hypothesis, it has made an analysis of some general movements of macro material, which points out that there are a series non-consistence problems in logic in the Cauchy's stress theory and Stokes's stress hypothesis, etc.

除了指出 Cauchy 的两个应力定理， Stokes 应力假设等存在的逻辑不自洽问题，并产生的原因进行了系统分析以外，演绎地构造了连续介质物质模型严格假设下的完整形式表述体系，并且演绎地导得这个演绎体系必然导致三维物质流形，在三维 Euclid 空间中恒为超定。

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

This indeed is the dance upon earth to this day, and eons and eons of time later.

的确，这一地球上的舞蹈到至今仍在演绎着，而且自那以后，无数的时代一直都在演绎着。

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.

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

As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications, namely deduction procedure, a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.

目前命题公式的判定方法大都是基于语义的，不能给出演绎过程，而演绎过程是许多推理性应用的重要依据。

Derivative works right means copyright holder has the right to permit others to process, adapt, translate, and cinematography his works, etc.

演绎权是指版权人有许可他人对其作品进行加工、改编、翻译、摄制电影等演绎行为的权利，如果他人未经许可对其作品进行演绎，则构成了对版权人权利的侵害。

He creates a new variety of European oriental art furniture, that is, the combination of European forms and American colors with oriental taste, deducting without any trammel in their performance and excellently interpreted the living taste and pursuit of art of new Chinese culture nobles.

开创了欧美东方艺术家居——即有欧式家具的形、美式家具的色，又辅以东方审美元素，在表现手法上演绎而不拘束，精彩演绎出中国文化新贵对家居生活的品位和艺术追求。

That song you listen to this song, I feel very happy, you are not to imitate his mark you look to your bass to the interpretation of this song, you can interpret the songs are more penetrating and more.

那天听你唱完了这首歌，我感觉很开心，你并没有模仿他的痕迹，你用你沙沙的低音去演绎了这首歌，你完全可以把歌曲演绎得更有穿透力些。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。