反證法是

從結(jié)論的反面出發(fā)，推出矛盾的證法

對(duì)其否命題的證明

對(duì)其逆命題的證明

分析法的證明方法

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

即從否定結(jié)論開(kāi)始，經(jīng)過(guò)正確的推理，導(dǎo)致邏輯矛盾，從而達(dá)到新的否定(即肯定原命題)的過(guò)程．

反證法的證明過(guò)程可以概括為“否定——推理——否定”，即從否定結(jié)論開(kāi)始，經(jīng)過(guò)正確的推理，導(dǎo)致邏輯矛盾，從而達(dá)到新的否定(即肯定原命題)的過(guò)程．用反證法證明命題“若m＞n，則＞”時(shí)，應(yīng)假設(shè)的內(nèi)容為_(kāi)_______．