Questions tagged [prooftrees]

For questions about the prooftrees package. The forest tag should usually be used in addition to this one. For questions about the prooftree environment provided by bussproofs, please use the bussproofs tag instead.

Filter by
Sorted by
Tagged with
1
vote
0answers
29 views

Center proof goal and "QED" below prooftree

I am using the Clea F. Rees' prooftrees package in order to typeset tableau proofs in LaTeX. Things are working just fine, but there are two caveats I do not know how to deal with. Firstly, the "...
3
votes
1answer
36 views

Centering of stacked bussproofs trees

I like to stack proof rules build with bussproofs vertically. In order to use tags and labels I enclose the proof tress inside a equation, which is why I introduced the rawprooftree environment as ...
1
vote
0answers
40 views

How to increase the vertical distance between proof lines in a prooftrees environment?

With the following code I tried to create a proof tree with the prooftrees environment wich is based on the forest package which is based on the pgf/TikZ package: \usepackage{pstricks} %\usepackage{ot-...
2
votes
1answer
111 views

proof tree latex using bussproofs

\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{...
2
votes
1answer
112 views

How do I create a prooftree with aligned indices for modal logic formulas?

This is my first question on TeX.SE. I need to typeset several dozen modal logic trees; unlike typical first-order trees these require an additional index to indicate worlds in the model. Here is a ...
2
votes
1answer
142 views

add text on the edge of line in proof tree

How can I do this in latex ? This is what I've tried, \documentclass{amsart} \usepackage{forest} \begin{document} \begin{forest} [$(\lnot \,A \to (B \to \lnot C)$ [$\lnot \, A$...
5
votes
1answer
76 views

Edge of prooftree takes on style of other edge if move by is used twice

I use the package prooftrees, which is based on the TikZ forest. As I have to draw proofs with many branches, I want some nodes to be lower, which is supported by the "move by" option. However, if I ...
3
votes
1answer
211 views

How do you use environments that have the same name within a single LaTeX document?

I'm trying to typeset some proof tree exercises. But I need to use the prooftree environment from the bussproofs package, as well as the prooftree environment from the prooftrees package. Is there a ...
4
votes
1answer
319 views

prooftrees.sty - why are line numbers overlapping and how to avoid?

Why are the "6" and "7" overlapping here and how can I avoid it? \documentclass[border=10pt]{standalone} \usepackage{prooftrees} \begin{document} \begin{prooftree}{} [A [A [A [...
4
votes
1answer
175 views

prooftrees tree nodes on different line

While trying to write a tableaux proof tree with prooftrees, I had some difficulty with putting single and branching nodes on the same line. \documentclass{article} \usepackage{prooftrees} \begin{...
2
votes
2answers
188 views

Why is prooftrees putting everything on the same line?

I'm trying to do a prooftrees tree like this: \documentclass[letterpaper, 12pt]{article} \usepackage{prooftrees} \begin{document} \begin{prooftree} { to prove={ A \lor B \lor C \lor D \lor E } } ...