我正在使用该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}