在森林中列出或堆叠节点

Question

我想要使​​用森林制作一棵逻辑树，如下图所示：

我正在努力按照图中的方式在树的第一个节点上列出论证的前提。任何帮助都将不胜感激！

Answer 1

下次，请提供最小（非）工作示例（MWE）。

\usepackage{forest}

\begin{document}
  \forestset{
    close me/.style={label={below:\textasteriskcentered}},
  }
  \begin{forest}
    for tree={
      align=center,
      child anchor=north,
      parent anchor=south,
      where level=0{}{math content},
    }
    [$(P \land R)$\\$\lnot(P \land Q)$\\$\lnot\lnot(R \lor Q)$\\$P$\\$R$\\$(R \lor Q)$
      [\lnot P, close me]
      [\lnot Q
        [R]
        [Q, close me]
      ]
    ]
  \end{forest}
\end{document}