## Thinking Mathematically (6th Edition)

Symbolic representation is \begin{align} & p\vee q \\ & \frac{\tilde{\ }p}{\therefore q} \\ \end{align} and the argument is valid.