![在证明树的线边缘添加文字](https://linux22.com/image/402840/%E5%9C%A8%E8%AF%81%E6%98%8E%E6%A0%91%E7%9A%84%E7%BA%BF%E8%BE%B9%E7%BC%98%E6%B7%BB%E5%8A%A0%E6%96%87%E5%AD%97.png)
答案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
任何你想要的东西。