Question

我正在尝试在LaTeX中排版一些基本的逻辑证明。我需要一个多列布局，我需要在右边编号的行。我想重置每个证明的编号。输出应如下所示：

1) (x)¬F      A

2) (Ex)F

3) ...

最简单的方法是什么？枚举似乎不是一个好主意，因为它不会像多列事情那样。我也需要一切都在数学模式中。

有一种简单的方法吗？

[编辑] 这是我到目前为止所做的，但它远非优雅。

\begin{minipage}{\linewidth}
\boldmath \center{$ \forall x \neg F \to \neg \exists x F $} \unboldmath

\begin{math}
  \begin{array}{llr}
    1. &\forall x \neg F &   \\
    2. &\exists x F & A  \\
    3. &F[\alpha / x ] & ES 2  \\
    4. &\neg F[\alpha / x] & US  \\
    5. &\exists x F \to F[\alpha / x ] & CP 2,4  \\
    6. &\neg \exists x F & TI 4,5 
  \end{array}
\end{math}
\end{minipage}

理想情况下，我想要一些自动编号步骤并使“标题”线更容易的东西......

Answer 1

请参阅Fitch式样张here的包。您根本不需要任何子防护。 LaTeX for Logicians还涵盖其他证明样式，逻辑符号等。

Answer 2

\newcount\mycount
\def\nextnum{\global\advance\mycount 1 \the\mycount.}
\def\logicx#1{\halign{$\nextnum##$\quad \hfil&$##$\hfil
      &\qquad\hfil##\crcr#1\crcr}\endgroup}
\def\logic{\begingroup \global\mycount 0 \let\\\cr \logicx}

\logic{
    &\forall x \neg F &   \\
    &\exists x F & A  \\ 
    &F[\alpha / x ] & ES 2  \\ 
    &\neg F[\alpha / x] & US  \\ 
    &\exists x F \to F[\alpha / x ] & CP 2,4  \\ 
    &\neg \exists x F & TI 4,5  \\
}

Answer 3

查看section 3.6软件包文档的amsmath。

Answer 4

抱歉，现在没有\ LaTeX编译器，因此我的代码可能无法编译或包含愚蠢的错误。

你的线路需要一个新的计数器：

\newcount\logicproofline

然后，您需要一个命令来启动它：

\def\proofline#1{
    \global\advance\logicproofline by 1
    \shoveright{\text{\the\logicproofline}\qquad#1}
}

现在，您需要重新定义proof以重置计数器：

\AtBeginDocument{
    \let\myoldproof=\proof
    \def\proof{\myoldproof\logicproofline=0\relax}
}

需要重新定义，因为证明与任何计数器都没有关联，所以我们不能将那个计数器作为主计数器。

LaTeX中的排版逻辑校样

4 个答案: