四种命题的真假关系可通过以下规则进行对照:
一、基本定义
-
原命题 :若 $p$ 则 $q$($p \rightarrow q$)
-
逆命题 :若 $q$ 则 $p$($q \rightarrow p$)
-
否命题 :若 $\neg p$ 则 $\neg q$($\neg p \rightarrow \neg q$)
-
逆否命题 :若 $\neg q$ 则 $\neg p$($\neg q \rightarrow \neg p$)
二、真假关系
-
原命题与逆否命题
同真同假,即若原命题为真,则逆否命题必为真;反之亦然。
-
逆命题与否命题
同真同假,即若逆命题为真,则否命题必为真;反之亦然。
-
其他组合
-
原命题与逆命题、否命题:真假无必然联系。
-
逆命题与逆否命题、否命题:真假无必然联系。
-
三、示例分析
-
命题 :若 $a > b$,则 $a + c > b + c$
-
原命题 :真
-
逆命题 :真
-
否命题 :真
-
逆否命题 :真。
-
-
命题 :若 $a = 0$,则 $ab = 0$
-
原命题 :真
-
逆命题 :假(如 $a=1, b=0$)
-
否命题 :假(如 $a=0, b=1$)
-
逆否命题 :真。
-
-
命题 :若 $a > b$,则 $ac^2 > bc^2$
-
原命题 :假(当 $c=0$ 时)
-
逆命题 :假(如 $a=1, b=-1, c=0$)
-
否命题 :真
-
逆否命题 :假。
-
四、判断方法
-
直接判断 :原命题与逆否命题可通过逻辑推导验证真假。
-
间接判断 :若原命题为假,可先判断逆否命题(通常更复杂);若逆命题为假,再判断否命题。
五、注意事项
-
否命题与命题的否定不同:
-
否命题是“若 $p$ 则 $\neg q$”,仅否定结论;
-
命题的否定是“非 $q$”,仅否定结论(如“所有 $S$ 都是 $P$”的否定是“存在 $S$ 不是 $P$”)。
-
通过以上规则和示例,可系统掌握四种命题的真假关系及判断方法。