## Thinking Mathematically (6th Edition)

By substituting in the symbols for the phrases: $q\rightarrow (p\leftrightarrow q)$.