论文部分内容阅读
反证法与同一法是数学中两种常用的科学证明方法。二者有着共同的理论基础和内在的逻辑联系,它们在思维方法方面都遵守一般的逻辑思维规律,并且都不是直接去证原命题的真实性,而是利用等效命题的原理,通过证明与原命题等效的命题的真实性去间接肯定原命题的真实性。我们还可以看到,凡能用同一法证明的定理(或命题真实)都可改用反证法来证明。反之,则不然。
Deconvolution and the same law are two commonly used scientific proof methods in mathematics. Both have a common theoretical foundation and inherent logical connections. They all follow the general rules of logical thinking in their methods of thinking. They both do not directly verify the authenticity of the original propositions. They use the principle of equivalent propositions, The authenticity of the original proposition equivalent proposition to indirectly affirmed the authenticity of the original proposition. We can also see that all the theorems (or propositions) that can be proved by the same method can be proved by using the law of proof. On the contrary, it is not.