简易逻辑的四种命题及关系

简易逻辑的四种命题及关系

（1）如果第一个命题的条件和结论分别是另一个命题的结论_ 和条件_，那么这两个命题叫互逆命题.
（2）如果第一个命题的条件和结论恰好是另一个命题的条件的否定 和结论的否定，那么这两个命题叫互否命题.
（3）如果第一个命题的条件和结论恰好是另一个命题的结论的否定_和_条件的否定_____，那么这两个命题叫互否命题.
特别提醒：可以发现：（1）原命题、逆命题、否命题、逆否命题的关系如下图所示： 原命题 互逆 逆命题 若p则q 若q则p 互为逆命题 若非 p 则非 q 互逆 若非 q 则非 p（2）互为逆否命题的真假性是一致的 互逆命题或互否命题真假性没有关系.一般地，把条件 p 的否定和结论 q 的否定，分别记为“┐ p ”和“┐ q ”，则命题的四种形 式可写为： 原命题： “若 p 若 q ” 逆命题： “若 q 若 p ” 否命题： “若 ┐ p 是 ┐ q ” 逆否命题： “若 ┐ q 是 ┐ p ”特别提醒： 命题的“否定”与“否命题”是不同的概念，对命题 p 的否定（即非 p）是否定命题 p 所作的判断，而“否命题”是 “若 p 则 q ”11．充要条件；