如何编写带有 \therefore 左对齐的推理规则？

Question

我想使用 Latex 来创建这个：

我迄今为止的尝试最终得到以下结果：

\documentclass{book}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}
\begin{align*}
p \to q\\
p\\
\over \therefore q
\end{align*}
\end{document}

结果是：

有不同的理由，特别是我喜欢把 \therefore 符号放在最开始，就像我首先展示的那样。

Answer 1

一种简单的方法是使用array环境，每行两个单元格，即

\[
\begin{array}{rl}
  & p\rightarrow q\\
  & p\\
  \cline{2-2}
\therefore & q  
\end{array}
\]  

Answer 2

对齐点用 & 标记。如果存在多个组（对齐列），则使用另一个 & 来引入每个新组（第一组除外），因此 n 列对齐需要 2n-1 个 & 符号。

     \documentclass{book}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\begin{align*}
&p\to q\\
&p\\
&\over\therefore \quad {}q
\end{align*}
\end{document}