四种命题的相互关系,互为逆否命题的等价性
四种命题之间的关系,如下图所示:

(1) 互为逆否命题的两个命题有相同的真假性,即原命题与逆否命题的真假性相同。所以,当我们在直接证明某一个命题为真命题有困难时,就可以通过证明它的逆否命题为真命题间接地证明原命题为真命题。这种证法称为逆否证法。
注:互为逆否命题的等价性的集合解释
设集合,,若,则意味着对于元素具有性质必具有性质,故可认为
与
等价,即具有相同的真假性。利用维恩图易见有:
与
等价,亦即说明了“”与“”等价。
(2) 互逆或互否的两个命题间,其真假性没有关系。
(3) 在同一个命题的四种命题中,真命题的个数要么是个,要么是个,要么是个。
(4) 在判断四种命题之间的关系时,首先要注意分清命题的条件与结论,再比较每个命题的条件与结论之间的关系。
(5) 四种命题的真假性有且仅有下列四种情况:
原命题 | 逆命题 | 否命题 | 逆否命题 |
真 | 真 | 真 | 真 |
真 | 假 | 假 | 真 |
假 | 真 | 真 | 假 |
假 | 假 | 假 | 假 |