If p → q is true, then ~ q → ~ p is NOT false (thus true)
In essence, p → q is a conditional statement whose contrapositive is, ~ q → ~ p. As you can see in the tables I attached, as long as the conditional statement is true then its contrapositive is also true which implies that a conditional statement and its contrapositive are what is known as Logical Equivalents.
