- 更多网络例句与演绎证明相关的网络例句 [注：此内容来源于网络，仅供参考]
-
This just demonstrate the Beccaria's reason that the regalia and laws were not endowed with people's right of life only because he was not sure of the effect that man-made elements tyrannize over the humanbody.
为了反思贝卡里亚废除死刑理论及其批判者的论证，笔者更深一步探寻贝卡里亚的废除死刑理论的内在逻辑，根据完整的理性精神对死刑废除观作了一个演绎和证明，建立在博爱之上的刑罚观要求死刑的废除，并且我们看到这样的一个证明是极其现实的。
-
The methods based on dualism are: the argument of analogy, hypothesis-deduce, cloud chamber imprint analogy, etc; while the methods based on monism are: logical behaviorism,being of Strawson, methological behaviorism, physicalism, etc. Since the 20 century, concerning the other minds problem, certain important achievements and empirical material were offered along with the great development made by modern scientific technology (esp. the Neurobiology, cognitive neuroscience,and the measuring and testing techniques of brain), the knowledge combination and intersecting cooperation research done by philosophers and biological scientists.
对于他心问题的解决方案，建立在二元论基础上的方法有：类比法，假说—演绎证明与"云室"痕迹类比等；建立在一元论基础上的方法有：分析行为主义，斯特劳森的人论，心理学行为主义，物理主义等。20世纪以来，随着现当代科学技术（尤其是神经生物学、认知神经科学和大脑测试技术等）的深入发展，哲学家与生命科学家的知识联姻和交叉合作研究，提供了关于他心问题的若干重要成果和实证资料。
-
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。
-
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的闭集之间的关系。
-
R the third example : through studying the area of sector, inquiry in deductive proof is carried out.
以"扇形面积"一节为例，开展演绎证明中的探究。
-
He deemed that even though the premise of inductive inference was authentic, it was not the guarantee of authenticity of conclusion. Philosophers and logicians have tried quite a few ways to solve the issue, that is, to do deductive proof ; to do inductive proof with the help of the uniformity of the world; and so on.
对这一问题，哲学家和逻辑学家提出了种种解决途径：或借助概率弱化归纳推理的结论，企图对之作演绎论证；或借"世界齐一性"对之作归纳证明；或诉诸无知的解决方式；或釜底抽薪的解决方式。
-
Its truth has been proven inductively, not deductively.
它的真实性是被证明归纳而成的，而不是靠推理演绎得来。
-
In each context, there were 2 types of major premise which included inclusive disjunctionand exclusive disjunction and there were 2 types of minior premise which included affirmtive form and nega-tive form The results showed that the college students' reasoning didn't coincid...
结果证明，大学生的推理并不符合新模式理论的预测。本研究就被试在演绎推理中如何对前提进行语义加工的问题进行了讨论。
-
In each context, there were 2 types of major premise which included inclusive disjunctionand exclusive disjunction and there were 2 types of minior premise which included affirmtive form and nega-tive form The results showed that the college students' reasoning didn't coincide with the predict...
结果证明，大学生的推理并不符合新模式理论的预测。本研究就被试在演绎推理中如何对前提进行语义加工的问题进行了讨论。
-
This difference, it should be observed, applies only to the question of proving God's actual existence; for, His self-existence being admitted, it is necessary to employ a priori or deductive inference in order to arrive at a knowledge of His nature and attributes, and as it is impossible to develop the arguments for His existence without some working notion of His nature, it is necessary to some extent to anticipate the deductive stage and combine the a priori with the a posteriori method.
这种差异，应该得到遵守，只适用於该问题的证明上帝的实际存在，他的自我存在，被承认，有必要聘请一名或先验演绎推理，以得出一个认识他的本质和属性，因为这是不可能发展的论点，他的存在，如果没有某种工作的概念，其本质，是要在一定程度上预测演绎阶段结合起来，把先验与后验方法。
- 更多网络解释与演绎证明相关的网络解释 [注：此内容来源于网络，仅供参考]
-
bare：裸
但她声音仍在,依然优美,依然摄魂,这张名为>(Bare)的2003新专辑可以证明一切. 那极富磁性的歌声深情演绎的每一首歌曲,都将会带领我们走过痛苦,达到绝望之境. 作品中充满了安妮个人的情绪,
-
Sister Carrie：(嘉莉妹妹)
1951年奥立弗忙着把德莱塞的小说>(Sister Carrie)搬上银幕,费雯丽主演的>则为她第二次赢得奥斯卡奖. 事实证明>中奥立弗对人物的演绎不够准确,该片也成为他以后不愿提及的一部.
-
deduce：演绎
这些规范性的问题,不可能通过事实权威或权威与服从的实例得到正当化证明,而是要借助演绎(deduce)的方法,即根据权威与道德的一般原则进行推论. 沃尔夫的主要目的,就是要通过这种演绎说明,合法权威的概念与道德自主在逻辑上是不相容的,
-
deductive proof：演绎证明
deductive method 演绎法 | deductive proof 演绎证明 | deductive reasoning 演绎推理演绎推理
-
deductive reasoning：演绎推理演绎推理
deductive proof 演绎证明 | deductive reasoning 演绎推理演绎推理 | deductive science 演绎科学
-
derivation：导出
它的一个同义词是导出(derivation). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.
-
From the fool's gold mouthpiece the hollow horn：来自傻瓜的金色喉舌中空洞的喇叭
牐燬uicide remarks are torn /自 杀 者的标记被撕去 | 牐燜rom the fool's gold mouthpiece the hollow horn /来自傻瓜的金色喉舌中空洞的喇叭 | 牐燩lays wasted words, proves to warn /演绎着废话,证明要提醒
-
From the fool's gold mouthpiece the hollow horn：来自傻瓜的金色喉舌,这空洞的喇叭
Suicide remarks are torn /自杀者的标记被撕去 | From the fool's gold mouthpiece the hollow horn /来自傻瓜的金色喉舌,这空洞的喇叭 | Plays wasted words, proves to warn /演绎着废话,给警告以证明
-
Hardy：哈代
德尔(Godel)证明了这个演绎系统是不完全的,不能作为判断真理的标准. 现在已查明,在英国文献上有记载:"哈代(Hardy)与李特尔伍德(Littlewwood)于1923年研究过命题B,但未成功"见埃斯特曼(Estermann)
-
justification：证实
必须有足够的练习才能获得巩固的知识.以为"建构主义"否定教师的讲授,学生只要探索无须联系的看法,并不符合学生主动建构知识的规律.(3)推理强调逻辑演绎证明,不停留在演示或实验地证实(Justification),而要达到证明(Proof)的水平.(4)顾泠沅等研究变式练习,