论文部分内容阅读
反证法是数学命题证明最常用的数学方法之一,它从否定命题的结论出发,进行正确推理,得出明显的矛盾。从而间接地证明了原命题,解决了正面证明不易解决的问题。文中通过较典型的例子来阐述反证法的逻辑关系与证明方法。
Proof-of-evidence is one of the most commonly used mathematical methods for proving mathematical propositions. Starting from the conclusion of negative propositions, correct reasoning leads to obvious contradictions. This proves indirectly the original proposition and solves the problem that the positive proof can not be easily solved. Through the more typical examples, this paper expounds the logical relationship and proof method of the negative proof.