一般的，在
数学中把用语言、符号或
式子表达的，可以判断真假的
陈述句叫做
命题。对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做
互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
命题的定义：可以判断正确或错误的句子叫做命题。其中判断为真的语句叫做
真命题，判断为假的语句叫做
假命题。
每一个命题都有逆命题，只要将原命题的题设改成结论，并将结论改成题设，便可得到原命题的逆命题。但是原命题正确，它的逆命题未必正确。例如真命题“对顶角相等”的逆命题为“相等的角是对顶角”，此命题就是假命题。
两个命题中，如果第一个命题的条件是第二个命题的结论，而第一个命题的结论又是第二个命题的条件，那么这两个命题叫做
互逆命题。其中一个命题称为另一个命题的逆命题。把一个命题的条件和结论互换就得到它的逆命题，所以每个命题都有逆命题。