证明树的垂直对齐

Question

是否可以垂直对齐两个或多个使用 bussproofs 排版的证明树，以便规则的最底行处于同一级别？例如，考虑以下内容：

\begin{center}
  \AxiomC{$(A_i)^{i \in 1..n}$}
  \UnaryInfC{$\vdash A$}
  \DisplayProof
  \qquad
  \AxiomC{}
  \UnaryInfC{$\vdash B$}
  \DisplayProof
\end{center}

Answer 1

也许以下内容会产生您正在寻找的内容：

\documentclass{article}
\usepackage{bussproofs}

\begin{document}

\begin{center}
\bottomAlignProof
  \AxiomC{$(A_i)^{i \in 1..n}$}
  \UnaryInfC{$\vdash A$}
  \DisplayProof
  \qquad
  \bottomAlignProof
  \AxiomC{}
  \UnaryInfC{$\vdash B$}
  \DisplayProof
\end{center}

\end{document}