prooftrees 树节点位于不同的行上

Question

在尝试用 编写 tableaux 证明树时prooftrees，我遇到了将单个节点和分支节点放在同一行上的一些困难。

\documentclass{article}
\usepackage{prooftrees}
\begin{document}

\begin{prooftree}
{
     to prove=\neg(a \vee b) \vee ((a \vee b) \vee  b)
}
[{(a \vee b) \vee ((a \vee b) \vee  b)}, just = 1
    [{\neg (a \vee b)} just = 2
        [{a,b} just = 3
        ]
    ]
    [{(a \vee b) \vee  b}
        [{a \vee b}
        ]
        [{b}
        ]
    ]
]
\end{prooftree}
\end{document}

我希望 3. 和 4. 在同一行，而不是不同的行。我该怎么做呢？我用 MiKTeX 2.9.6480 和 TeXWorks 编写，用 pdfLaTeX 排版。（而且没有 prooftrees 的标签，这很奇怪）

Answer 1

0.7 版本prooftrees可以通过禁用自动移动算法来实现这一点。

\documentclass[tikz,border=10pt]{standalone}
\usepackage{prooftrees}
\begin{document}

\begin{prooftree}
{
     to prove=\neg(a \vee b) \vee ((a \vee b) \vee  b),
     not auto move,
}
[{(a \vee b) \vee ((a \vee b) \vee  b)}, just = 1
    [{\neg (a \vee b)}, just = 2
        [{a,b}, just = 3
        ]
    ]
    [{(a \vee b) \vee  b}
        [{a \vee b}
        ]
        [{b}
        ]
    ]
]
\end{prooftree}
\end{document}

在这种情况下您可能也想使用single branches。