先设命题的--不成立,然后推导出与--,--,--,--,或--相矛盾的结果,从而证明命题的---一定成立,这种证明方法