题目内容
不是直接从命题的条件逐步推得命题成立，这种不是直接证明的方法称为_________(indirect proof)．_________就是一种常用的间接证明方法．
证明不是直接从原命题的条件逐步推得命题成立，这种不直接证明的方法通常称为________．如反证法，反证法的证明过程概括为：“________”“________”“________”“________”，
即从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．
