如何自定义 fitch.sty 自然演绎证明中的编号?

如何自定义 fitch.sty 自然演绎证明中的编号?

我正在使用该fitch.sty软件包进行自然演绎证明,但我想在行号后添加一个句点,例如 1. 而不是“1”。我查看了文档,但没有找到允许我自定义数字的内容。事实上,文档确实说明了以下内容:“在输出中,行会自动连续编号。标签不得包含任何标点符号或空格。”由于它们是自动生成的,我有什么办法可以更改生成以在编号后包含句点吗?

答案1

我猜你想修改\formatfitchcounter。我认为是

% $Id: fitch.sty,v 1.6 2003/06/28 16:53:00 johanw Exp $

% Macros for Fitch-style formal proofs
% Johan W. Klüwer, June 10, 2001

(可能发布日期不同)。

\documentclass{article}
\usepackage{fitch}

\renewcommand{\formatfitchcounter}[1]{\arabic{#1}.}


\begin{document}

\[
\begin{fitch}
\fh \lnot (A \land B)  \\
\fa A \lor \lnot A \\
\fa\fh A \\
\fa\fa\fh B \\
\fa\fa\fa A \land B & 3, 4 \\
\fa\fa\fa \bot & 1, 5 \\
\fa\fa \lnot B & 4--6 \\
\fa\fa \lnot A \lor \lnot B & 7 \\
\fa A \to (\lnot A \lor \lnot B) & 3--8 \\
\fa\fh \lnot A \\
\fa\fa \lnot A \lor \lnot B & 10 \\
\fa \lnot A \to (\lnot A \lor \lnot B)  & 10--11\\
\fa \lnot A \lor \lnot B & 2, 9, 12 \\
\lnot (A \land B)\to (\lnot A \lor \lnot B) & 1--13 \\
\fh \lnot A \lor \lnot B \\
\end{fitch}
\]

\end{document}

在此处输入图片描述

相关内容