反证法是

从结论的反面出发，推出矛盾的证法

对其否命题的证明

对其逆命题的证明

分析法的证明方法

证明不是直接从原命题的条件逐步推得命题成立，这种不直接证明的方法通常称为________．如反证法，反证法的证明过程概括为：“________”“________”“________”“________”，

即从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．

反证法的证明过程可以概括为“否定——推理——否定”，即从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．用反证法证明命题“若m＞n，则＞”时，应假设的内容为________．