假设放电、证明摘要和使用 busproof 标记

Question

是否可以使用bussproof包获取这种公式布局？：

（1）假设用四个垂直点放电；

（2）四个垂直点表示证据摘要；

（3）用数字（此例中为“1.”）标记公式。

谢谢

Answer 1

尝试使用该\noLine选项。例如，要在“[A]”上方获得“1。”，请使用：

\AxiomC{\small 1.}
\noLine
\UnaryInfC{[$A$]}
\noLine
\UnaryInfC{$\vdots$}

只给出\vdots三个点。获取四个点的一种方法是定义一个 LaTeX 命令，将四个句点垂直放置在 vbox 中。或者，LaTeX“stix dots”包包含一个\fourvdots命令。

\small应使用小字体（替代\footnotesize：）

该\extraVskip命令可用于调整导出过程中行与行之间的空白。

（警告：我还没有在实际的 LaTeX 文件中测试上述代码。如果代码中有任何错误，请告诉我，我可以更新。）

Answer 2

该ebproof软件包提供了一个方便的解决方案：

\documentclass{article}
\usepackage{ebproof}
\usepackage{xcolor}
\begin{document}
    \begin{tabular}{ c c c }
    {\color{red}\textbf{(1)}}
     \begin{prooftree}
        \Hypo{A \vee B}
        \Hypo{[A]}
        \Ellipsis{}{C }
        \Hypo{[B] }
        \Ellipsis{}{C }
        \Infer3[$\vee\textrm{E}$]{C}
     \end{prooftree}
     &
     {\color{red}\textbf{(2)}}
      \begin{prooftree}
        \Hypo{}
        \Ellipsis{}{ A}
        \Hypo{}
        \Ellipsis{}{ B}
        \Infer[no rule, separation=-0.4em, rule margin=-.3em]2{}
      \Ellipsis{}{C}
      \end{prooftree}
      &
      {\color{red}\textbf{(3)}}
      \begin{prooftree}
        \Hypo{\stackrel{1}{[A]}}
        \Infer[right label ={\(\supset I.1.\)}]{1}{A \supset A}
      \end{prooftree}
    \end{tabular}
\end{document}

尤其是考虑到空间可以轻松调整（看看文档，第 4.2 节“间距”）。

Answer 3

我尝试过这个代码

\begin{center}
\AxiomC{$A \vee B$}
    \alwaysNoLine
    \AxiomC{[$A$]}
    \UnaryInfC{\vdots}
    \UnaryInfC{$C$}
        \AxiomC{[$B$]}
        \UnaryInfC{\vdots}
        \UnaryInfC{$C$}
        \alwaysSingleLine
\TrinaryInfC{$C$}
\DisplayProof
\hspace{25pt}
\alwaysNoLine
\AxiomC{\small 1.}
\UnaryInfC{[$A$]}
\alwaysSingleLine
\UnaryInfC{$A \to B$}
\DisplayProof
\end{center}

我使用了\alwaysNoLine而不是\noline。这是 (1) 和 (3) 实例的结果：

不幸的是，方括号中的公式之间有太多空格。有一个名为的新包，prftree.sty可以实现这种布局，但 1) 它不像 那样直观bussproof；2) 我无法使用它，因为它与 形成对比bussproof，而且我没有时间更改之前用 编写的每个公式bussproof。

无论如何谢谢你的帮助！

Answer 4

对于模式 n。（3）我找到了一个非常简单的解决方案。使用 bussproof，代码如下：

\begin{prooftree} \AxiomC{[$\overset{1.}{A}$]} \UnaryInfC{$A \to B$} \end{prooftree}