Some Intuition Behind the Contrapositive

Contents

• Introduction

• The explanation

• Conclusion

Introduction

While quite a fundamental law in logic, the contrapositive is certainly not immediately intuitive (or at least it was not to me).
After someone else expressed a similar feeling, I decided to try and derive some intuition to explain the rule, and I think I have succeeded.
This blog could also be treated as an introduction to the contrapositive.

Just so everyone is on the same page, here is the rule in all its formal glory: