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
2 votes
1 answer
45 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 "...
user avatar
3 votes
1 answer
75 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 ...
user avatar
  • 83
2 votes
1 answer
65 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-...
user avatar
  • 21
2 votes
1 answer
248 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{...
user avatar
  • 63
2 votes
1 answer
159 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 ...
user avatar
  • 23
2 votes
1 answer
167 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$...
user avatar
5 votes
1 answer
80 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 ...
user avatar
  • 116
3 votes
1 answer
224 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 ...
user avatar
4 votes
1 answer
351 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 [...
user avatar
4 votes
1 answer
196 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{...
user avatar
2 votes
2 answers
196 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 } } ...
user avatar