判定
1、一個(gè)命題本身稱之為原命題。
2、如果一個(gè)命題的條件和結(jié)論分別是原命題的結(jié)論和條件，那么這個(gè)命題叫做原命題的逆命題，這兩個(gè)命題叫做互逆命題。原命題為真，逆命題不一定為真。
3、如果一個(gè)命題的條件和結(jié)論分別是原命題的條件的否定和結(jié)論的否定，那么這個(gè)命題叫做原命題的否命題，這兩個(gè)命題叫做互否命題。原命題為真，否命題不一定為真。
4、如果一個(gè)命題的條件和結(jié)論分別是原命題的結(jié)論的否定和條件的否定，那么這個(gè)命題叫做原命題的逆否命題，這兩個(gè)命題叫做互為逆否命題。原命題為真，逆否命題一定為真。同樣的，逆命題和否命題也同真同假。