反证法的运用
在证明一个命题时,人们有时先假设命题不成立,从这样的假设出发,经过推理得出和已知条件矛盾,或者定义、公理、定理矛盾,从而得出假设命题成立是错误的,几所求证的敏体正确,这种证明的方法叫做反证法.那么,对于一个未知正确与否的命题,可以用反证法证明吗?