一般的，在数学中把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。
逆命题的定义：
对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
否命题的定义：
对于两个命题，若其中一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，则这两个命题互为否命题。如果把其中一个称为原命题，那么另一个就叫做它的否命题。
逆否命题的定义：
如果两个命题中一个命题的条件和结论分别是另一个命题的结论和条件的否定，则这两个命题称互为逆否命题。