特别提醒：可以发现：

（1）原命题、逆命题、否命题、逆否命题的关系如下图所示：

（2）互为逆否命题的真假性是一致的, 互逆命题或互否命题真假性没有关系.

4. 用反证法证明的一般步骤是：

(1) 反设：假设命题的结论不成立，即假设结论的反面成立；

　　(2) 归谬：从假设出发，经过推理论证，得出矛盾；

　　(3) 结论：由矛盾判定假设不正确，从而肯定命题的结论正确.

特别提醒：

1、适宜用反证法证明的数学命题：

(1) 结论本身以否定形式出现的命题.

(2)关于唯一性、存在性的的命题.

(3)结论以"至多"，"至少"等形式出现的命题.

(4)结论的反面比原结论更具体或更易于研究的命题.

2. 用反证法证明引出矛盾的四种常见形式:

(1)与定义、公理、定理矛盾.

(2)与已知条件矛盾.

(3)与假设矛盾.

(4)自相矛盾.

5． 如果"若则"为真, 记为, 如果"若则"为假, 记为.

6．若则是的充分, 是的必要___

7．判断方法： （1）定义法：

① p是q的充分不必要条件　② p是q的必要不充分条件