我正在写一篇逻辑论文，其中包括对德摩根定律之一的推论。证明是 Fitch 风格，使用了 Johan Klüwer 的 2003fitch.sty包。这是一个很长的证明，我不可避免地会在证明中间留下页码和中断。我确信有一种繁琐的手动方法来中断证明并从下一页开始，对证明中的每个步骤进行正确的编号。然而，我正在寻找一种更动态的解决方案，我认为它存在于通用方程中。我对此有所了解，\allowdisplaybreaks但它似乎对我不起作用（fitch.sty可能是在创建牢不可破的盒子？）。我已经复制了下面的推论并感谢所有的帮助。
\documentclass[ 11pt]{article}
\usepackage{mdwtab}
\usepackage{latexsym}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{ifthen}
\usepackage{fitch}
\begin{document}
\begin{equation*}
\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 \\
\fa\fh \lnot A \\
\fa\fa\fh A \land B \\
\fa\fa\fa A & 17 \\
\fa\fa\fa \bot & 16, 18 \\
\fa\fa \lnot (A \land B) & 17--19 \\
\fa \lnot A \to \lnot (A \land B) & 16--20 \\
\fa\fh \lnot B \\
\fa\fa\fh A \land B \\
\fa\fa\fa B & 23 \\
\fa\fa\fa \bot & 22, 24 \\
\fa\fa \lnot (A \land B) & 23--25\\
\fa \lnot B \to \lnot (A \land B) & 22--26 \\
\fa \lnot (A \land B) & 15, 21, 27 \\
(\lnot A \lor \lnot B ) \to \lnot (A \land B) & 15--28\\
(\lnot A \lor \lnot B) \iff \lnot (A \land B) & 14, 29\\
\end{fitch}
\end{equation*}
\end{document}