将两个推导放在同一条线上

Question

我正在尝试将两个逻辑推导放在同一行，但我不知道该怎么做。下面是我使用的代码示例：

\documentclass{article}
\usepackage{bussproof}

\begin{document}
\begin{center}
%derivation 1
\AxiomC{$\Gamma, \varphi \mid \psi$}
\UnaryInfC{$\Gamma, \neg\neg\varphi \mid \neg\neg\psi$}
\DisplayProof

%derivation 2   
\AxiomC{$\Gamma, \neg\neg\varphi \mid \neg\neg\psi$}
\UnaryInfC{$\Gamma, \varphi \mid \psi$}
\DisplayProof
\end{center}
\end{document}

我希望两个派生词都居中并在同一行。提前感谢您的帮助。

Answer 1

最简单的方法是将派生内容放在单独的小页面中：

\documentclass{article}
\usepackage{bussproofs}

\begin{document}
\begin{center}
\begin{minipage}{.5\columnwidth}
%derivation 1
\AxiomC{$\Gamma, \varphi \mid \psi$}
\UnaryInfC{$\Gamma, \neg\neg\varphi \mid \neg\neg\psi$}
\DisplayProof
\end{minipage}% <--- or a space would be inserted
\begin{minipage}{.5\columnwidth}
%derivation 2
\AxiomC{$\Gamma, \neg\neg\varphi \mid \neg\neg\psi$}
\UnaryInfC{$\Gamma, \varphi \mid \psi$}
\DisplayProof
\end{minipage}
\end{center}
\end{document}

\columnwidth如果您希望它们彼此靠近，请减少分数。

或者，将它们放在一个框内：

\documentclass{article}
\usepackage{bussproofs}

\begin{document}
\begin{center}
%derivation 1
\mbox{\AxiomC{$\Gamma, \varphi \mid \psi$}
\UnaryInfC{$\Gamma, \neg\neg\varphi \mid \neg\neg\psi$}
\DisplayProof}%
\hspace{4em}% or whatever space you like
%derivation 2
\mbox{\AxiomC{$\Gamma, \neg\neg\varphi \mid \neg\neg\psi$}
\UnaryInfC{$\Gamma, \varphi \mid \psi$}
\DisplayProof}
\end{center}
\end{document}