## Calculus (3rd Edition)

$\neg B \Longrightarrow \neg A$ is automatically true.
Since $A \Longrightarrow B$ is true, then the contrapositive is true, that is, $\neg B \Longrightarrow \neg A$ is automatically true. The converse may or may not be true. (See the discussion on page A4.)