论文部分内容阅读
<正>所谓反证法,即从欲证命题的结论的反面入手,先假设结论的反面(?)q为真,从(?)q为真出发,经过推理论证,得出与公理、定理、定义、题设等相矛盾或自相矛盾的结论,最后由矛盾判定假设不正确,从而肯定命题的结论正确的一种方法.反证法应用广泛,当正面证明较困难或无法入手时,常用此法.它通常用来证明下列几类命题.