|
You can see that the contrapositive of an implication is true by considering the following:
The statement
is logically equivalent to
which can also be written as
.
By the same token, the contrapositive statement
is logically equivalent to
which, using double negation on , becomes
.
This, of course, is the same logical statement.
|