数学逆否命题

数学中的命题分为四类：原命题，逆命题，否命题，和逆否命题。其中逆命题和否命题的真假性相同；原命题与逆否命题的真假性相同。例如：原命题:一个四边形是矩形，则它的对角线相等。它的逆否命题是:对角线不相等的四边形，则它一定不是矩形。它们的真假性是一样的。