反证法是证明与原命题等效(等价)的逆否命题成立的一种间接证法.

    即证明：否定的结论否定的题设

    反证法由于否定结论的情况不同，又分为归谬法和穷举法两种.

    用反证法证明命题“若A，则B”的一般步骤是：