TeX source:

{\begin{array}{rl}1.&P\to Q\\2.&P\\\hline \therefore &Q\end{array}}