逆否命题 inverse negative proposition 如果一个命题的题设和结论分别是另一个命题的结论的否定和题设的否定,这样的两个命题互称为原命题和逆否命题。也就是说,当“若A,则B”为原命题时,则“若非B,则非A”为逆否命题。如以(1)“若两个角为对顶角,则此两角相等”和(2)“若三角形三边相等,则三角形三角相等”为原命题时,那么,它们的逆否命题分别是:“若两角不相等,则两个角不是对顶角”,“若三角形三角不相等,则三角形三边不相等”。原命题与逆否命题之间的真假关系是:当原命题真时,则它的逆否命题必定真,当原命题假时,则它的逆否命题必假;反过来说也是一样,当一个逆否命题真时,则它的原命题也必定真,当一个逆否命题假时,则它的原命题必假。因此,两个互为逆否的命题具有等值关系,这样的两个命题称做等值命题。 |