乳胶排版逻辑校对

请参阅惠誉风格校样的包装 here . 你根本不需要任何子函数。 LaTeX for Logicians 还包括其他证明样式、逻辑符号等。

\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  \\
}

退房 section 3.6 的 amsmath 包装文件。

抱歉,现在没有\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}
}

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