对于两个命题,如果一个命题的条件和结论分别是另外一个命题的结论和条件,
那么这两个命题叫做互逆命题,其中一个命题叫做原命题,另外一个命题叫做原命题的逆命题.
例如,原命题:例如:同位角相等,两直线平行.逆命题:例如:两直线平行,同位角相等