After discussing the origin and development of the idea of proof with the deductive method in ancient Greek mathematics,this paper points out its effect on Greek mathematics and the history of mathematics,and surveies its achievements and consequence in modern times.
从希腊数学演绎证明思想的发生发展入手,剖析了其在希腊数学乃至整个数学史上的作用,并对该思想对近代数学发展的影响进行评价。
There are deductive justification,consequentialist argument,coherence argument and consistency argument.
麦考密克描述阐释了司法审判中主要的法律论辩形式,包括演绎性证明,后果主义论辩,协调性论辩及一致性论辩。
The Development of the Idea of Proof with the Deductive Method in Ancient Greek Mathematics
古希腊数学演绎证明思想的发展脉络
A Problem of Deduction That Is Similar to the Problem of Generalization: Verification of Deduction;
一个与归纳问题类似的演绎问题——演绎的证成
Context: The Pythagorean Theorem was proved using deductive reasoning.
上下文：毕德哥拉斯定理被人们运用演绎推理加以了证明。
The method of proof in which a known truth is sought as a consequence of a series of deductions from that which is the thing to be proved.
解析一种证明方法，即把已知事实作为将被证明的一系列演绎过程的结果
On Epiphany and Revelation Revealed by Joyce and Hemingway;
乔伊斯、海明威对“顿悟”与“感悟”的演绎
One of the propositions in a deductive argument.
前提演绎论证中的命题之一
Argumentation Intensity of the Combination Group of Inductive Argumentation and Deductive Argumentation;
归纳论证与演绎论证结合群的论证强度
The Illation of Civil Culture: The Essential Motivation of Tour Fashion in Late Ming Dynasty
市民文化的演绎:晚明旅游风尚的文化动因
The Representations of the "Parted Mirror" Motif in the Xi and Qu Dramas of the Song-Ming Periods;
“乐昌分镜”母题在宋明“戏曲”文学演绎初探
The Dialectical Unity of Experience and Deduction of Mathematical Essence;
数学本质的经验性与演绎性的辩证统一
deductive [inductive] logic
演绎 [归纳] 逻辑
The validation of a proposition by application of specified rules, as of induction or deduction, to assumptions, axioms, and sequentially derived conclusions.
证明通过运用特定的规则对一个命题的证实，如运用演绎法和归纳法进行假设、推理，最后得出结论
The Beauty of Optic Fibre Lighting for Ceramic DispLays:Lighting Plans for the Ceramics Hall of the Palace Museum
以光纤照明演绎陶瓷之美——故宫新陶瓷馆的照明设计
Involving or using deduction in reasoning.
演绎法推理的包含或用演绎法推理的
The Operation and Weak Deductive Theorem in FormalDeductive System L~*;
形式演绎系统L~*的运算与弱演绎定理
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
The production of deducing the inducement has been reduced after a newer introduction.
对说明进行演绎的产量在新的引进之后就减少了。
We would like to see a more matured, better, wiser shin gun in the person of JJH.
我们希望智勋演绎的一个更加成熟，优秀，聪明的信君。
