证明包：线条太短

Question

该proof包的\infer命令会自动调整其绘制的线条的大小。

但是，它并不总是正确的（pdflatex 输出）：

左边的线太短了。

这是软件包错误/不准确，还是我做错了什么？

以下是生成上述文档的代码（由MWE制作）：

\documentclass{article}
%
\usepackage{proof}
%
\begin{document}
\[
 \infer{\bot}{
   \infer{P}{
     \infer{P \vee P}{
       P \vee Q
       \quad
       P \vee \neg Q
     }
   }
  \qquad
  \infer{\neg P}{
   \infer{\neg P \vee \neg P}{
     \neg P \vee Q
     \quad
     \neg P \vee \neg Q
   }
  }
 }
\]
\end{document}

Answer 1

你可以看看bussproofs.sty；你还会发现一个在线指南

这是一个比较（我\qquad按照 Andrea L. 的建议添加了它，以使第一行稍微宽一些）

\documentclass{article}
\usepackage{proof}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{$P\lor Q$} \AxiomC{$P\lor\lnot Q$}
\BinaryInfC{$P\lor P$}
\UnaryInfC{$P$}
\AxiomC{$\lnot P\lor Q$} \AxiomC{$\lnot P\lor \lnot Q$}
\BinaryInfC{$\lnot P\lor\lnot P$}
\UnaryInfC{$\lnot P$}
\BinaryInfC{$\bot$}
\end{prooftree}
\[
 \infer{\bot}{
   \infer{P}{
     \infer{P \vee P}{
       P \vee Q
       \qquad
       P \vee \neg Q
     }
   }
  \qquad
  \infer{\neg P}{
   \infer{\neg P \vee \neg P}{
     \neg P \vee Q
     \quad
     \neg P \vee \neg Q
   }
  }
 }
\]
\end{document}