Funny word, isn’t it? The contrapositive is the one logically valid deduction you can make from an if then statement. Let’s take the first “if….then” statement:
“Cats have tails” C –> T
I said it would be a mistake to negate or reverse these terms. But if you do both, it works. It’s true that:
“Anything without a tail is not a cat”*
T –> C
If I tell you that all nerds are smart (N –>S) then it must be true that anyone who is not smart is not a nerd (
N –> S)
Just reverse the terms, and put a line through them (or remove the line, if there is one).
Cars cannot float, C –>
F becomes F –> C
Combining Statements Using the Contrapositive
“Elephants are heavy” “Nothing which can walk on ice is heavy”.** E –> H, I –>
We can only combine from necessary to sufficient. To combine these two statements, just take the contrapositive of the second. Then we get E –> H –>
I. Elephants cannot walk on ice.