## Discrete Mathematics with Applications 4th Edition

The contrapositive of p $\rightarrow$ q is ~q $\rightarrow$ ~p. The truth table shows a conditional statement and its contrapositive have the same truth values, so they are logically equivalent.