## Thinking Mathematically (6th Edition)

The statement can be translated to: if $q$ then (always) not $p$, which in logical symbols is: $p \rightarrow q$.