» For contraposition in the field of traditional logic, see Contraposition (traditional logic). Contraposition is a logical relationship between two propositions of material implication. One proposition is the contrapositive of the other just when its antecedent is the negated consequent of the other, and vice-versa, resulting in two statements that are logically equivalent. Strictly, a contraposition can only exist between two statements each of which is no more complex than involving the same… (More on Contraposition)