使用证明包中的推断?

使用证明包中的推断?

我正在使用包\infer中的命令proof。我尝试做了几件事但没有成功:

  1. 我怎样才能在证明元素之间留出一些空间?例如在 x 和 y 之间留出空间 \infer{x y}{z}。我可以使用\,,但我认为应该有更好的方法来做到这一点。

  2. \begin{center}对任何推理规则都没有影响,但我仍然希望能够将它们居中。

  3. 如果不使用,我该如何在推理规则之间设置空间vspace?现在,它们看起来非常拥挤,一个在另一个下面。

答案1

  1. 我想你必须手动进行间距,就像x y文本中出现的任何间距一样。

  2. 您可以使用\[ ... \]和 (已弃用)将规则居中$$...$$

  3. 您可以调整长度\inferLineSkip

下面是一个展示上述提示的简单示例:

\documentclass{article}
\usepackage{proof}
\setlength{\inferLineSkip}{4pt}
\begin{document}
\infer{B}{A & (A \rightarrow B)}
\[\infer{xy}{z}\]
\infer{C}{D & (D \leftarrow B)}
\end{document}

在此处输入图片描述

相关内容