noun a proposition or theorem formed by contradicting both the subject and predicate or both the hypothesis and conclusion of a given proposition or theorem and interchanging them Example: “if not-B then not-A ” is the contrapositive of “if A then B ”