使用 bussproofs 来验证乳胶树

Question

\documentclass{article}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{P}
\AxiomC{$\neg P,Q$}
\BinaryInfC{Q}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{R}
\end{prooftree}
\end{document}

我使用 bussproof 来生成上面的证明树，但是得到了完全不同的结果（下面的树）。有人可以编辑上面的乳胶吗？

Answer 1

\documentclass{article}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{$P$}
\AxiomC{$\neg P,Q$}
\RightLabel{\scriptsize Res}
\BinaryInfC{$Q$}
\AxiomC{$\neg Q,R$}
\RightLabel{\scriptsize Res}
\BinaryInfC{$R$}
\end{prooftree}
\end{document}