1) deductive justification
演绎性证明
1.
There are deductive justification,consequentialist argument,coherence argument and consistency argument.
麦考密克描述阐释了司法审判中主要的法律论辩形式,包括演绎性证明,后果主义论辩,协调性论辩及一致性论辩。
2) proof with the deductive method
演绎证明
1.
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.
从希腊数学演绎证明思想的发生发展入手,剖析了其在希腊数学乃至整个数学史上的作用,并对该思想对近代数学发展的影响进行评价。
4) deductive verification
演绎式验证
5) linear deduction
线性演绎
6) deduction
[英][dɪ'dʌkʃn] [美][dɪ'dʌkʃən]
演绎性
1.
In the different period of mathematical development, the emphasis on deduction or experience is different, so people have one-sided understanding of mathematical essence.
由于在数学发展的不同时期,演绎性与经验性表现的侧重点不同,从而导致人们对数学本质认识的片面性。
2.
This essay expounds the limits of classical logic,non-monotony and deduction,logical mathematicalization and departmentalization,the ownership of inductive logic,etc.
本文就其中经典逻辑的界限、非单调性与演绎性、逻辑的数学化和部门化及归纳逻辑的归属等重要问题予以理论阐述 ,提出自己的观点。
补充资料：演绎证明
“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条