在分数中，将分母的任意部分与分子的一部分对齐

Question

我正在尝试将“分数”的底部与顶部对齐，但由于我是新手，所以我不确定正确的方法。

目标是让“分母”中的 与上方的q对齐，并且最终位于左侧，而不是在线下。这可能吗？p∴

\displaystyle
\frac{
\begin{align*}
&p
\\
&p→q
\end{align*}
}
{\begin{align*}
∴ &q
\end{align*}}

Answer 1

如果我理解了期望的输出，这是一种方法

\documentclass{article}
\usepackage{amssymb}
\begin{document}
\[
\begin{array}{rl}
&p\\
&p \to q \\
\cline{2-2}
\therefore & q
\end{array}
\]
\end{document}

但我相信有专门用于逻辑证明的软件包。