In
logic,
contraposition is a law that says that a
conditional statement is
logically equivalent to its
contrapositive. The contrapositive of the statement has its antecedent and consequent
inverted and
flipped: the contrapositive of
![](http://bis.babylon.com/?rt=GetFile&uri=!!ARV6FUJ2JP&type=0&index=1876)
is thus . For instance, the proposition "
All bats are mammals" can be restated as the conditional "
If something is a bat, then it is a mammal". Now, the law says that statement is identical to the contrapositive "
If something is not a mammal, then it is not a bat."