Principle of Contraposition

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The logical equivalence or valid inference connecting an implication A → B with its contrapositive ¬B → ¬A, used to transform or justify arguments by negating and reversing antecedent and consequent.