由上图知逆命题与否命题也互为逆否命题，因此这四种命题的真假之间的关系如下：

（1）两个命题互为逆否命题，它们具有相同的　　　　；

（2）两个命题为互逆命题或互否命题，它们的真假性　　　　　　.

（5）反证法

　　由于原命题与它的逆否命题具有相同的真假性，所以我们在直接证明某一命题有困难时，可以通过证明　　　　　　　　，来间接地证明原命题为真命题，这种证明的方法，称作是　　　　。用反证法证明的步骤如下：

　　（1）　　　　　　　　　　，即假设结论的反面成立；

　　（2）从　　　　　　　　　出发，经过推理论证得出矛盾；

　　（3）由矛盾判定假设不正确，　　　　　　　.

3．充分条件与必要条件

（6）若，则叫做的 条件，则叫做的 条件；

若，则叫做的 条件，简称为 条件.

（7）如果且，我们称为的 条件，如果且，则我们称为的 条件.

4．判断充要条件的方法

（8）命题判断法

　　　设"若则"为原命题，那么：

　　(1)原命题为真，逆命题为假时，则是的 条件；

　　(2)原命题为假，逆命题为真时是的 条件；

　　(3)原命题与逆命题都为真时，是的 条件；

(4) 原命题与逆命题都为假时，是的 条件.