一。四个命题的形式：
原命题：若甲、则乙。
逆命题：若乙、则甲。
否命题：若非甲、则非乙。
逆否命题：若非乙、则非甲。
二。在真值上，四个命题间的关系。
原命题与逆否命题等值。逆命题与否命题等值。
原命题与逆命题之间，逆否命题与否命题之间，没有关系。
三。原子命题与复合命题：
甲，乙，它们是原子命题，或者真或者甲。
而上述四个命题，都是复合命题。依据原子命题的真值，可以求出复合命题的真值。
四。否定的辨析：
【否命题】，是个简化的称呼，意思是【原命题的逆命题的逆否命题】。
【若甲、则乙】的否定，为【甲、和非乙】，不是【若非甲、则非乙】。