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
2 answers
92 views

Conjunction in truth trees

while we are creating truth trees we use something called "hook" to write conjunctions instead of simply writing them line by line. I don't know if it is called something else in English. I ...
arkh3us's user avatar
  • 45
2 votes
1 answer
71 views

Creating Logic Trees to be Exported to Word

I'm trying to typeset a book on logic which will be published soon. It contains a lot of logic trees, truth tables etc. The problem is publisher wants it to be Word file, therefore I can't get the ...
arkh3us's user avatar
  • 45
2 votes
1 answer
53 views

prooftrees - justification on one line

I use prooftrees to do tableau proofs and would like to be able to state the justification for line 2--4 using a bracket that spans all three lines and has the justification text to its right. The ...
Tore Fjetland Øgaard's user avatar
2 votes
1 answer
99 views

How do I left-align the steps to a proof-tree?

I'm trying to write a natural deduction using LaTeX and the prooftrees package which works quite well all things considered. The only issue is that I want my derivation steps to be left-aligned as ...
Joshua Crotts's user avatar
1 vote
1 answer
53 views

Space between closure symbols and terminal node of tableau in prooftrees.sty

I tried to typeset a tableau with package prooftrees according to the package's documentation (cf. https://ctan.joethei.xyz/graphics/pgf/contrib/prooftrees/prooftrees.pdf) and Peter Smith's guide (cf. ...
pahohu's user avatar
  • 229
2 votes
1 answer
100 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 "...
Vitus Schäfftlein's user avatar
2 votes
1 answer
81 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-...
Nitzgi's user avatar
  • 21
2 votes
1 answer
879 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{...
kili's user avatar
  • 63
3 votes
1 answer
363 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 ...
poot's user avatar
  • 33
2 votes
1 answer
294 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$...
kratoooos's user avatar
5 votes
1 answer
90 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 ...
Merle's user avatar
  • 116
3 votes
1 answer
240 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 ...
objectivesea's user avatar
4 votes
1 answer
445 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 [...
Ben Loewe's user avatar
4 votes
1 answer
233 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{...
user3564783's user avatar
0 votes
1 answer
279 views

Manually set line numbers if prooftrees.sty?

Is it possible to manually set the line number in a prooftrees tableau? Or suppress the line numbers for an individual line? I'd like to have something like 1 A_1 \vdots n A_n produced perhaps ...
rzach's user avatar
  • 426
2 votes
2 answers
272 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 } } ...
wofinoli's user avatar