Contraposition

In contraposition ( from Latin contra, ' positioned and Latin, position ' against, position ',' position ') is understood in the logic of the reverse conclusion of an implication, that is the conclusion of "If A, then B " on "If not B, then not A".

In fact, the statement is " A implies B" even equivalent to its contrapositive " From not B does not follow A".