## Thinking Mathematically (6th Edition)

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