互逆命题
如果第一个命题的题设是第二个命题的结论，而第一个命题的结论又是第二个命题的题设，那么这两个命题叫做互逆命题．
如果把其中一个叫做原命题，那么另一个叫做它的逆命题．
如果一个定理的逆命题经过证明是真命题，那么它也是一个定理，这两个定理叫做互逆定理，其中一个叫做另一个的逆定理．