![LaTeX 中表示反驳计算树的移位分数](https://linux22.com/image/426564/LaTeX%20%E4%B8%AD%E8%A1%A8%E7%A4%BA%E5%8F%8D%E9%A9%B3%E8%AE%A1%E7%AE%97%E6%A0%91%E7%9A%84%E7%A7%BB%E4%BD%8D%E5%88%86%E6%95%B0.png)
我想画一棵如图所示的分数形式的演绎树,不幸的是我没有找到合适的frac
,over
并且在文献中也没有找到更好的图像。
![](https://i.stack.imgur.com/QyVoo.png)
有没有办法仅使用 amsmath 来绘制它(即不使用 TikZ)?
编辑:这是我尝试了@Zarko (ty) 所说的内容后得到的结果
\begin{center}
\begin{tabular}{cccccc}
\(a, b, \neg c\) & & \(a, b, c\) & & & \\ \cline{1-3}
& \(a, b\) & & \(a, \neg b\) & & \\ \cline{2-4}
& & \(a\) & & \(\neg a\) & \\ \cline{3-5}
\(\qquad\) & \(\qquad\) & \(\qquad\) & \(\square\) & \(\qquad\) & \(\qquad\)
\end{tabular}
\end{center}