什么样的命题适宜用反证法

反证法是一种重要的间接证明方法,它是通过证命题结论的反面是假的,从而肯定结论是真实的。其具体过程是:首先否定结论,即假定结论的反面为真;由结论的反面经过正确的逻辑推理,得到一个与临时假定,或与原题设,或与某公理、某定义、某定理等相矛盾的结果,从而断定结论的反面不真;最后,根据排中律肯定命题正确。我们讨论,究竟什么样的命题适宜于用反证法呢?下面我们归纳十二种类型的问题,分别来研究。