如何写缺少一行的三重分数

Question

我想写一个缺少第一条水平线的三重分式。我尝试使用 \dfrac 和 \substack 的组合或矩阵来实现。但没有一个看起来像这样：

有人知道他们是怎么做到的吗？

感谢您的帮助

Answer 1

以下内容似乎准确地再现了您的图片。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\[
\begin{array}{c}
(\lnot B \lor \lnot C) \\
(B \lor \lnot C) \\
\hline
(\lnot C \lor \lnot C)
\end{array}
\]

\end{document}

Answer 2

显然，原作者需要一种合适的方式在逻辑中写出序列演算的推理规则。总线防护套餐提供这个和bussproofs-额外软件包提供了更多功能。

\documentclass{article}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{$(\neg B\vee\neg C)$}
\noLine
\UnaryInfC{$(B\vee\neg C)$}
\UnaryInfC{$(\neg C\vee\neg C)$}
\end{prooftree}

\begin{prooftree}
\Axiom$(\neg B \fCenter \,\vee\,\neg C)$
\noLine
\UnaryInf$(B \fCenter \,\vee\,\neg C)$
\UnaryInf$(\neg C \fCenter \,\vee\,\neg C)$
\end{prooftree}
\end{document}

---

如果您觉得第一行与第二行之间的垂直间距太大，可以使用\extraVskip进行调整，默认值为2pt。

\documentclass{article}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\def\extraVskip{0.5pt}
\AxiomC{$(\neg B\vee\neg C)$}
\noLine
\UnaryInfC{$(B\vee\neg C)$}
\def\extraVskip{2pt}
\UnaryInfC{$(\neg C\vee\neg C)$}
\end{prooftree}

\begin{prooftree}
\def\extraVskip{0.5pt}
\Axiom$(\neg B \fCenter \,\vee\,\neg C)$
\noLine
\UnaryInf$(B \fCenter \,\vee\,\neg C)$
\def\extraVskip{2pt}
\UnaryInf$(\neg C \fCenter \,\vee\,\neg C)$
\end{prooftree}
\end{document}

还有一些例子链接1（第 17-23 页），链接2和链接 3。

Answer 3

另一种可能性是stackengine：

    \documentclass {article}
    \usepackage{mathtools}
    \usepackage[usestackEOL]{stackengine}
    \setstackgap{S}{1ex}

    \begin{document}

    \[ \frac{\Vectorstack{(\neg B \vee \neg C)\\ (B \vee \neg C)}}{(\neg C \vee \neg C)} \]

    \end{document} 

Answer 4

两种可能性：

• 使用\splitfrac定义于mathtools
• 在 amsmath 中定义的使用gathered以及在其取代中mathtools：

\documentclass {article}
\usepackage{mathtools}

\begin{document}
\[
\frac{
\splitfrac{(\neg B \vee \neg C)}
          {(B \vee \neg C)}}
        {(\neg C \vee \neg C)}
= \frac{\begin{gathered}
            (\neg B \vee \neg C)\\
            (B \vee \neg C)
        \end{gathered}}
        {(\neg C \vee \neg C)}
\]
\end{document}