反证法的

Indirect-method is an important method in artificial proof, and reduction to absurdity is one of the effective methods.

在手工证明几何问题的方法中，间接证明也是一种重要的方法，其中反证法是较为有效的方法之一。

Based on this analysis, we then made a teaching assumption to get rid of such kind of thinking barrier, ie."Symbolizing the propositions in everyday life and finding dual proposition according to symbolic rule will enhance students' understanding of the argument principle of proof by contradiction."

进一步提出克服此种思维限制以发展逻辑思维的教学假设─「将生活情境中命题的真伪关系符号化，利用符号规则推理再转译回生活命题，可增进学生对反证法论证原理的了解」，并据以发展教案进行探究性教学。

Based on the given results of second order boundary value problem, the existence of solutions of nonlinear boundary value problem of Volterra type integro-differential nonlinear equation was established. The uniquess of solution was obtained by applying disproof method.

以二阶边值问题的已知结果为基础，建立了Volterra型积分微分非线性边值问题的解的存在性，再利用反证法获得了解的惟一性。

Secondly,by reduction to absurdity and the sequentially compactness of the space,the minimality of a homeomorphism on a sequentially compact space is discussed.

其次，利用反证法结合空间的序列紧致性对序列紧致空间上的同胚映射的极小性进行讨论。

It says that under certain assumptions, composite massless spin-2 particle do not exist.

一起在80年左右在physics letters A上发表过一篇短文，说是为什么不可能存在高自旋的基本粒子，用的是反证法。

Many steps were reached using the long-cherished method of Proof by Induction, others by Proof by Reductio ad Absurdum, and still others using Proof by Graduate Student.

许多步骤是用各种经典的逻辑证明方法推导得到的，包括归纳法、反证法等，甚至有些部分还是由旁听的研究生证明的。

The reductio ad absurdum of these unbridled speculations can be seen in the Pitis Sophia, which is light-maidens, paralemptores, spheres, Heimarmene, thirteen ons, light-treasures, realms of the midst, realms of the right and of the left, Jaldabaoth, Adamas, Michael, Gabriel, Christ, the Saviour, and mysteries without number whirl past and return like witches in a dance.

该反证法这些肆无忌惮的投机活动可以看出，在pitis索菲亚，这是轻少女， paralemptores ，领域， heimarmene ， 13 ons ，轻宝藏，境界之中，境界的权利和左， jaldabaoth ， adamas ，迈克尔，加布里埃尔，基督救世主，并没有多少的奥秘，旋转过去和回报一样，巫婆在舞蹈。

The paper introduces several important notions such as uncountability and halting problem firstly,the fact is proved by contradiction that halting problem is impossible problem,and the same to other relative issues in computer is proved by reduction.

本文先介绍了不可数性和停机问题等重要概念，用反证法证明了停机问题是不可解的，并使用归约法对计算机中的相关问题的不可解性进行了证明。

It is clear that A restricted on ker T is : identity, which is compact, it must hold that ker T is finite-dimensional.

虽然ker T的有限维可以直接用反证法得出。利用ker T的有限维性质也应该是最简单的证法了吧多谢解答！

Tache of kinetics for the procedure of reduction reaction of samarium oxide with metallic lanthanum has been discussed in this paper.

讨论了镧热还原氧化钐过程的动力学环节，分析了还原过程镧—钐合金存在的可能性，采用反证法确定了制备金属钐温度下的动力学控速环节。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。