如何将两棵证明树并排放置并在其间放置一个符号？

Question

我必须排版使用该bussproofs包创建的证明树的转换规则。我需要的是两个证明树之间的蕴涵符号 - 与树的水平分隔线对齐 - 左右间距完全相同。

通过改变小页面的宽度并在第一个校样树中使用标签，我或多或少实现了预期的结果，但这确实是一种作弊行为。

有没有持久的解决办法？

\documentclass[border=10pt]{standalone}
\usepackage{amsmath,amssymb,bussproofs}
\newcommand{\necc}{\ensuremath{\mathbin{\Box}}}
\begin{document}
  \begin{minipage}[b]{.3 \textwidth}
    \begin{prooftree}
      \AxiomC{$\phi_1\,\cdots\,\phi_n$}
      \RightLabel{$\qquad\implies\qquad$}
      \UnaryInfC{$\psi$}
    \end{prooftree}
  \end{minipage}
  \begin{minipage}[b]{.25\textwidth}
    \begin{prooftree}
      \AxiomC{$\necc\phi_1\,\cdots\,\necc\phi_n$}
      \UnaryInfC{$\necc\psi$}
    \end{prooftree}
  \end{minipage}
\end{document}

Answer 1

您可以将内联证明树放入center环境中：

\documentclass{article}% standalone doesn't support centering
\usepackage{amsmath,amssymb,bussproofs}
\newcommand{\necc}{\ensuremath{\mathbin{\Box}}}
\begin{document}
  \begin{center}
    \AxiomC{$\phi_1\,\cdots\,\phi_n$}
    \RightLabel{$\qquad\implies\qquad$}
    \UnaryInfC{$\psi$}
    \DisplayProof
    \AxiomC{$\necc\phi_1\,\cdots\,\necc\phi_n$}
    \UnaryInfC{$\necc\psi$}
    \DisplayProof
  \end{center}
\end{document}

---

你甚至可以使用equation环境：

\documentclass{article}
\usepackage{amsmath,amssymb,bussproofs}
\newcommand{\necc}{\ensuremath{\mathbin{\Box}}}
\begin{document}
  \begin{equation}
    \AxiomC{$\phi_1\,\cdots\,\phi_n$}
    \UnaryInfC{$\psi$}
    \DisplayProof
    \quad\implies\quad
    \AxiomC{$\necc\phi_1\,\cdots\,\necc\phi_n$}
    \UnaryInfC{$\necc\psi$}
    \DisplayProof
  \end{equation}
\end{document}