在证明树的线边缘添加文字

Question

我怎样才能在乳胶中做到这一点？这是我尝试过的，

\documentclass{amsart}
\usepackage{forest}
\begin{document}
    \begin{forest}
        [$(\lnot \,A \to (B \to \lnot C)$
            [$\lnot \, A$
            [$A$]
            ]
            [ $(B \to \lnot \,C)$
            [$B$]
            [$\lnot \, C$[$C$]]
            ]
        ]
    \end{forest}
\end{document}

提前致谢。

Answer 1

我明显有偏见，但我会使用prooftrees：

\documentclass{standalone}
\usepackage[tableaux]{prooftrees}
\forestset{
  my label/.style={
    edge label={node [midway, font=\scriptsize, left] {$#1$}}
  },
}
\begin{document}
\begin{tableau}{not line numbering, single branches, not auto move}
  [(\lnot  A \to (B \to \lnot  C))
    [\lnot  A, my label=\to
      [A, my label=\lnot]
    ]
    [ (B \to \lnot C)
      [B, my label=\to]
      [\lnot  C[C, my label=\lnot]]
    ]
  ]
\end{tableau}
\end{document}

我只是用它standalone作为例子，但显然你可以使用amsart任何你想要的东西。