Answer
The argument
\[\frac{\begin{align}
& p\to q \\
& p \\
\end{align}}{\therefore \ \ \ \underline{q}}\]
Is called direct reasoning and is valid because\[\left[ \left( p\to q \right)\wedge p \right]\to q\] is a tautology.
You can help us out by revising, improving and updating this answer.
Update this answerAfter you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.