间接证明的方法之一，它是通过确定与论题相矛盾的判断的虚假，然后根据排中律(在同一思维过程中，两个相互矛盾的思想不能都是假的，其中必有一个是真的)，由假推真，来证明论题真实性的一种证明方法。反证法的具体步骤为：①提出与原论题相矛盾的反论题;②运用各种知识或推理论证反命题的虚假性;③由于原论题与反论题为矛盾论题，现已证明反论题的虚假，根据排中律，故原论题为真 ......