Tree with lines in latex

Asked Jan 22 '21 at 07:22

Active Jan 26 '21 at 15:50

Viewed 47 times

How can i input this on latex? I tried but the space is too hard to input and also the line is hard to input

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

This produce similar but quite different can someone change it?

edited Jan 26 '21 at 15:50

Vincent

20,157

asked Jan 22 '21 at 07:22

kili

I've already seen this kind of stuff and I believe there is a dedicated package but I cannot remember the name. Would you provide some background? – campa Jan 22 '21 at 08:58
2

@campa The name the package is ebproof. Best regards. – Sebastiano Jan 22 '21 at 21:24
thankyou so much! – kili Jan 23 '21 at 03:57
6

Does this answer your question? What is the best package out there to typeset proof trees? – Arne Jan 26 '21 at 15:46

Tree with lines in latex

0 Answers0