設兩個命題互為逆否命題，它們有相同的真假性。設兩個命題為互逆命題或互否命題，它們的真假性沒有關係，原命題與逆否命題同真同假，逆命題與否命題同真同假。
能夠判斷真假的陳述句叫做命題，正確的命題叫做真命題，錯誤的命題叫做假命題。原命題與逆命題互逆，否命題與原命題互否，原命題與逆否命題相互逆否，逆命題與否命題相互逆否，逆命題與逆否命題互否，逆否命題與否命題互逆。
原命題，否命題，逆命題和逆否命題的充分和必要條件：
1、“若p，則q”為真命題，叫做由p推出q，記作p=>q，並且說p是q的充分條件，q是p的必要條件。
2、“若p，則q”為假命題，叫做由p推不出q，記作p≠>q，並且說p不是q的充分條件（或p是q的非充分條件），q不是p的必要條件(或q是p的非必要條件）。
3、充要條件，如果既有p=>q，又有q=>p，就記作p<=>q，並且說p是q的充分必要條件（或q是p的充分必要條件），簡稱充要條件，也可稱p與q等價。
設兩個命題互為逆否命題，它們有相同的真假性。設兩個命題為互逆命題或互否命題，它們的真假性沒有關係，原命題與逆否命題同真同假，逆命題與否命題同真同假。
能夠判斷真假的陳述句叫做命題，正確的命題叫做真命題，錯誤的命題叫做假命題。原命題與逆命題互逆，否命題與原命題互否，原命題與逆否命題相互逆否，逆命題與否命題相互逆否，逆命題與逆否命題互否，逆否命題與否命題互逆。
擴充套件資料原命題，否命題，逆命題和逆否命題的充分和必要條件：
1、“若p，則q”為真命題，叫做由p推出q，記作p=>q，並且說p是q的充分條件，q是p的必要條件。
2、“若p，則q”為假命題，叫做由p推不出q，記作p≠>q，並且說p不是q的充分條件（或p是q的非充分條件），q不是p的必要條件(或q是p的非必要條件）。
3、充要條件，如果既有p=>q，又有q=>p，就記作p<=>q，並且說p是q的充分必要條件（或q是p的充分必要條件），簡稱充要條件，也可稱p與q等價。