2
\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}

enter image description here

I used bussproof for producing proof trees above, but I got quite different result (tree below). can someone edit the latex above??

enter image description here

1 Answer 1

1

enter image description here


\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}

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .