In mathematics, proof by contrapositive, or proof by contraposition, is a rule of inference used in proofs, where one infers a conditional statement from its contrapositive. In other words, the conclusion "if A , then B " is inferred by constructing a proof of the claim "if not B , then not A " instead.