排版谓词自然演绎规则

Question

我有一条自然推理规则，我想将其排版。它看起来像这样：

我应该如何使用 LaTeX 排版？我应该使用其中一个包（例如logicproof）吗？这似乎有点过头了，因为我不是在排版实际的证明，而只是可以使用的规则之一。我也考虑过只使用一个\frac，也许还有一个tabular环境，但这似乎有点混乱。

Answer 1

与 Tiuri 的回答类似，但是使用堆栈而不是矩阵。

\documentclass{article}
\usepackage{tabstackengine}
\TABstackMath
\setstacktabbedgap{1ex}
\setstackgap{L}{1.2\baselineskip}
\begin{document}
\[
\frac{
  \,\fbox{$
  \tabbedLongstack{x_0 & \\ & \vdots \\ & \phi[x_0/x]}
  $}_{\strut}\,
}{
  \forall x\,\phi
}
\forall x\,\mathrm{i}
\]
\end{document}

Answer 2

\boxed我建议在数学模式下使用matrix环境（或类似环境）来获取框，然后只需使用\frac。使用此代码：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align}
    \frac{\boxed{\begin{matrix}
        x_0 & \\
        & \vdots \\
        & \phi[x_0/x]
    \end{matrix}}_{\strut}}{\forall x\phi}\forall xi
\end{align}
\end{document}

我得到这个结果：

编辑：\strut史蒂文的解决方案在这里也很有意义。