In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality (affirmation or negation).Brody, Bobuch A. "Glossary of Logical Terms". Encyclopedia of Philosophy.