反證法是

從結論的反面出發，推出矛盾的證法

對其否命題的證明

對其逆命題的證明

分析法的證明方法

證明不是直接從原命題的條件逐步推得命題成立，這種不直接證明的方法通常稱為________．如反證法，反證法的證明過程概括為：“________”“________”“________”“________”，

即從否定結論開始，經過正確的推理，導致邏輯矛盾，從而達到新的否定(即肯定原命題)的過程．

反證法的證明過程可以概括為“否定——推理——否定”，即從否定結論開始，經過正確的推理，導致邏輯矛盾，從而達到新的否定(即肯定原命題)的過程．用反證法證明命題“若m＞n，則＞”時，應假設的內容為________．