## Thinking Mathematically (6th Edition)

Symbolic representation is \begin{align} & p\to q \\ & \frac{q}{\therefore p} \\ \end{align} and the argument is invalid.