Contrapositives are cool

I had fun learning about implications and their relation to respective converse and contrapositive statements. I'm also taking STA247 so it's cool to see how the set theory work I'm learning in CSC165 relate, especially with this part of the course material. When we were learning about contrapositives, I thought about the following:
P -> Q is an implication
Q -> P is the converse statement
¬Q -> ¬P is the contrapositive statement
But this is the same as saying Q' -> P'!!

Since the original implication implies P is a subset of Q, we can think of the venn diagram as the set P inside the set Q. With that visual in mind, the contrapositive statement is saying the Q' region is a subset of the P' region.

This is cool.