qtree 中的对齐列？

Question 1

虽然我对这种做树的方式并不完全满意，但你可以修补qtree，使单枝树不产生线。只要你不还需要单个分支，这将满足您的要求。我对您的代码做了一些其他调整：替换\ensuremath{}为 $...$ 并将树放入简单的表格中。

\documentclass{article}
\usepackage{etoolbox}
\usepackage{qtree}
\makeatletter
\patchcmd{\qdraw@branches}{(0,1)}{(0,.75)}{}{}
\patchcmd{\qdraw@branches}{\line(0,1){1}}{}{}{}
\makeatother
\begin{document}
\begin{tabular}{ccc}
\Tree[.{1.\\2.\\3.\\4.\\5.} [.6. ] ] &
\Tree[.A\&$\sim$B\\C\\$\sim$A$\vee\sim$C\\A\\$\sim$B {$\sim$A\\$\otimes$} $\sim$C\\$\otimes$  ] &
\Tree[.SM\\SM\\SM\\1,\&D\\1,\&D [.3,$\vee$D ] ]
\end{tabular}
\end{document}

代码输出

Answer

虽然我对这种做树的方式并不完全满意，但你可以修补qtree，使单枝树不产生线。只要你不还需要单个分支，这将满足您的要求。我对您的代码做了一些其他调整：替换\ensuremath{}为 $...$ 并将树放入简单的表格中。

\documentclass{article}
\usepackage{etoolbox}
\usepackage{qtree}
\makeatletter
\patchcmd{\qdraw@branches}{(0,1)}{(0,.75)}{}{}
\patchcmd{\qdraw@branches}{\line(0,1){1}}{}{}{}
\makeatother
\begin{document}
\begin{tabular}{ccc}
\Tree[.{1.\\2.\\3.\\4.\\5.} [.6. ] ] &
\Tree[.A\&$\sim$B\\C\\$\sim$A$\vee\sim$C\\A\\$\sim$B {$\sim$A\\$\otimes$} $\sim$C\\$\otimes$  ] &
\Tree[.SM\\SM\\SM\\1,\&D\\1,\&D [.3,$\vee$D ] ]
\end{tabular}
\end{document}

代码输出

Question 2

以下是使用实验性包装器的演示防护树为了森林。这意味着从配额树语法，但更加灵活，不需要手动调整来将行号和对齐方式与树的级别对齐。

这需要 0.09 版本。如果您想要一份副本来玩，请询问。

\documentclass[tikz,border=10pt]{standalone}
\usepackage{prooftrees}% version 0.09

默认情况下\sim是用关系的间距定义的，但这里应该是序数，所以我们\tnot用正确的间距定义。

\newcommand*{\tnot}{\ensuremath{\mathord{\sim}}}

类似地，\&不会为数学关系提供正确的间距，因此我们\aand为 & 和符号定义适当的间距。

\DeclareMathSymbol{\aand}{\mathbin}{operators}{38}
\begin{document}

防护树提供带有一个强制参数的环境prooftree。如果参数为空，也可以，但必须存在。如果树需要任何特殊配置，则在第一个参数中设置。当然，树本身会进入适当的环境。

\begin{prooftree}
  {

使用来自森林我们对整棵树应用了一些定制选项。

    for tree={

首先，我们默认将所有节点内容设置为数学模式，使用森林钥匙math content。

      math content,

其次，我们要改变闭合符号，因为防护树\otimes而不是\times默认使用。（如果您愿意\otimes，只需省略此行。）

      close with={$\times$},
    },
  }

定制到此结束。现在来看看树本身。

第一个节点获取内容。它应该在右侧A \aand \tnot B对齐。为了实现这一点，我们将键添加到节点。此节点还需要一个复选标记，因此我们也添加了键。SMjust=SMchecked

  [A \aand \tnot B, just=SM, checked

继续下一行，我们添加一个C内容与相同的节点和另一个节点just=SM。

    [C, just=SM

我们按照同样的方法继续添加节点。

      [\tnot A \lor \tnot C, just=SM, checked
        [A, just=1 $\aand$D
          [\tnot B, just=1 $\aand$D

树的最后一层有一个分支。这意味着方括号模式涉及在开始第二个之前关闭第一个节点。这些节点也需要闭包符号，因此我们将密钥添加close到每个分支。

            [\tnot A, just=3 $\lor$D, close]
            [\tnot B, close]

我们可以添加just=3 $\lor$D到第二个分支而不是第一个分支——这没什么区别，因为防护树无论如何都会把它放在同一个地方。

现在我们用匹配的方括号来关闭树的各个级别。

我们就完成了。

\end{prooftree}
\end{document}

完整代码：

\documentclass[tikz,border=10pt]{standalone}
\usepackage{prooftrees}% version 0.09
% by default \sim is defined with the spacing of a relation but it should be an ordinal here, so we define \tnot with the correct spacing
\newcommand*{\tnot}{\ensuremath{\mathord{\sim}}}
% define \aand for the & and symbol with the appropriate spacing
\DeclareMathSymbol{\aand}{\mathbin}{operators}{38}
\begin{document}
\begin{prooftree}
  {
    for tree={
      math content,
      close with={$\times$},
    },
  }
  [A \aand \tnot B, just=SM, checked
    [C, just=SM
      [\tnot A \lor \tnot C, just=SM, checked
        [A, just=1 $\aand$D
          [\tnot B, just=1 $\aand$D
            [\tnot A, just=3 $\lor$D, close]
            [\tnot B, close]
          ]
        ]
      ]
    ]
  ]
\end{prooftree}
\end{document}

Answer