论文部分内容阅读
所谓反证法,即从欲证命题的结论的反面入手,先假设结论的反面!q为真,从!q为真出发,经过推理论证,得出与公理、定理、定义、题设等相矛盾或自相矛盾的结论,最后由矛盾判定假设不正确,从而肯定命题的结论正确的一种方法.反证法应用广泛,当正面证明较困难或无法入手时,常用此法.它通常用来证明下列几类命题.
The so-called anti-evidence method, that is, from the opposite side of the conclusion of the desire to prove the proposition, first assume the negative side of the conclusion! q is true, starting from !q is true, through inference theory, draws contradictions with the axioms, theorems, definitions, questions, etc. Self-contradictory conclusions, in the end by the contradictory judgment hypothesis is not correct, thus affirming the correct conclusion of the proposition of a method. The anti-evidence method is widely used, when the positive proof is more difficult or unable to get started, this method is commonly used. It is usually used to prove the following Class propositions.