## Thinking Mathematically (6th Edition)

The statement can be translated to: not $p$ if and only if not $q$, which in logical symbols is: $\sim p \leftrightarrow \sim q$.