总线证明中序列演算证明的推理证明标签

Question

我正在研究可计算性和逻辑，需要按照书中的方式构建证明。但是，我找不到任何关于如何给出与顺序式证明中的前提相同的推理依据的信息。我能做的是：

但我需要做的是这样的：

Answer 1

不太清楚你想要什么。怎么样？

\documentclass{article}

\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}
\begin{align}
  \{A\}        & \implies \{A\} \tag{R0}        \\
  \{A,{\sim}A\} & \implies \varnothing \tag{R2a} \\
  \Gamma       & \implies \varnothing \tag{R1}.
\end{align}
\end{document}

Answer 2

看到bussproofs你现在的问题，也许你想使用一个证明包，我认为prooftrees除了很好地对齐蕴涵外，这个包可以满足你的要求。但这个包适合写证明。

\documentclass{article}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{prooftrees}
\forestset{line numbering=false}

\begin{document}
\begin{prooftree}
  {
    to prove={}
  }
  [
      \{ A \} \Rightarrow \{ A \}, just=(R0)
      [
          {\{A, \neg A\} \Rightarrow \varnothing}, just=(R2a)
          [
             \Gamma   \Rightarrow \varnothing, just=(R1)
             ]]]
\end{prooftree}
\end{document}