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