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