③由矛盾判定假设不成立，从而肯定命题的结论成立.

(2)反证法导出结果的几种情况：

①导出命题p的否定为真，即与原命题的条件矛盾；

②导出q为真，即与假设"命题q的否定为真"矛盾；

③导出一个恒假命题，即与定义、公理、定理矛盾；

④导出自相矛盾的命题.

3.反证法与逆否证法的联系

(1)依据相同：都是利用原命题与其逆否命题的等价性.

(2)起步相同：都是从否定结论出发(入手)；

(3)思想相同：都是"正难则反"思想的具体体现.

4.反证法与逆否证法的区别

(1)目的不同：反证法否定结论的目的是推出矛盾，而逆否证法否定结论的目的是推出否定条件；

(2)本质不同：逆否证法实质是证明一个新命题(逆否命题)成立，而反证法是把否定的结论作为新的条件连同原有的条件进行逻辑推理，直至推出矛盾，从而肯定原命题的结论.

类型一　四种命题的关系及真假判断

命题角度1　四种命题的写法

例1　把下列命题写成"若p，则q"的形式，并写出它们的逆命题、否命题与逆否命题.

(1)正数的平方根不等于0；

(2)当x＝2时，x2＋x－6＝0；

(3)对顶角相等.

反思与感悟　由原命题写出其他三种命题的关键是找到原命题的条件和结论，根据其他三种命题的定义，确定所写命题的条件和结论.

跟踪训练1　写出下列命题的逆命题、否命题、逆否命题.

(1)实数的平方是非负数；

(2)等底等高的两个三角形是全等三角形.