互逆命题
在两个命题中,如果第一个命题的题设是第二个命题的结论,而第一个命题的结论是第二个命题的题设,那么这两个命题叫做互逆命题,如果把其中一个叫做原命题,那么另一个叫做它的逆命题.
原命题和逆命题的真假性
每个命题都有逆命题,但原命题是真命题,而它的逆命题不一定是真命题,原命题和逆命题的真假性一般有四种情况：真、假；真、真；假、假；假、真.
互逆定理
如果一个定理的逆命题经过证明是真命题,那么它也是一个定理,这两个定理叫做互逆定理,其中一个叫做另一个的逆定理.
每个命题都有逆命题,但不是所有的定理都有逆定理.