Answer
The argument
\[\frac{\begin{align}
& p\to q \\
& \sim q \\
\end{align}}{\therefore \ \ \ \underline{\sim p}}\]
Is called direct reasoning and is valid because\[\left[ \left( p\to q \right)\wedge \sim q \right]\to \sim p\] is a tautology
