LaTeX 中表示反驳计算树的移位分数

Question

我想画一棵如图所示的分数形式的演绎树，不幸的是我没有找到合适的frac，over并且在文献中也没有找到更好的图像。

                                        

有没有办法仅使用 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}

Answer 1

这个包ebproof就是为此而做的。语法使用类似堆栈的结构。

\documentclass[11pt]{article}
\usepackage{amssymb}
\usepackage{ebproof}

\begin{prooftree}
                \hypo{a, b, \neg c}
                \hypo{a, b, c}
            \infer2{a,b}
            \hypo{a, \neg b}
        \infer2{a}
        \hypo{\neg a}
    \infer2{\square}
\end{prooftree}

\end{document}

得出的结果为：