☰

缩短 LPLFitch 证明中的范围线

tag-icon • tag-icon proof-package
缩短 LPLFitch 证明中的范围线

因此，我正在尝试排版 Fitch 风格的校样。我使用的系统不要求子校样结束后有任何行。不过，LPLFitch 似乎假设了类似的事情，因为它总是在子校样下方添加一行——扩展主垂直范围栏。

妇女权利委员会：

\documentclass[border=1cm]{standalone}
\usepackage{lplfitch}
\usepackage{amsmath}
\begin{document}

\fitchprf{
    \pline[1.]{\exists x \forall y Rxy}[Pr.]\\
    \pline[2.]{\forall x (\exists y Ryx \rightarrow Rxx)}[Pr.]\\
                \pline[3.]{\text{SHOW: } \forall x Rxx}[UD]}{
        \subproof{\pline[4.]{\text{SHOW: } Raa}[DD]}{
            \pline[5.]{\forall y Rby}[1, $\exists$O]\\
            \pline[6.]{Rba}[5, $\forall$O]\\
            \pline[7.]{\exists y Rya \rightarrow Raa}[2, $\forall$O]\\
            \pline[8.]{\exists y Rya}[6, $\exists$I]\\
            \pline[9.]{Raa}[7,8, $\rightarrow$O] 
            }
           }
\end{document}

其结果如下：

在此处输入图片描述

我怎样才能缩短外部垂直范围线至第 9 行结束，而不是再延长一行？

更新：

拼凑起来的解决方案转化为答案。

答案1

我已经能够通过以下方法解决这个特殊情况：

\documentclass[border=1cm]{standalone}
\usepackage{lplfitch}
\usepackage{amsmath}

\newcommand*{\fitchprfalt}[2]{%
\advance \fitchprfwidth by -\fitchsep 
\advance \fitchprfwidth by .5pt
\hspace*{.35em}%
\begin{tabular}[t]{|p{0pt}@{}p{\fitchprfwidth}@{\hspace*{\fitchsep}}l}
\multicolumn{3}{@{}l@{}}{\ }\\[-2.35ex] #1\\
\ \\[-2.5ex] \cline{1-1}\\[-2ex]
#2 \\ \multicolumn{3}{@{}l@{}} \ \\[-5.5ex]
 \end{tabular}
\advance \fitchprfwidth by \fitchsep%
}
\newcommand*{\subproofalt}[2]{&\fitchprfalt{#1}{#2}\\}

\begin{document}

    \fitchprf{
        \pline[1.]{\exists x \forall y Rxy}[Pr.]\\
        \pline[2.]{\forall x (\exists y Ryx \rightarrow Rxx)}[Pr.]\\
                    \pline[3.]{\text{SHOW: } \forall x Rxx}[UD]}{
            \subproofalt{\pline[4.]{\text{SHOW: } Raa}[DD]}{
                \pline[5.]{\forall y Rby}[1, $\exists$O]\\
                \pline[6.]{Rba}[5, $\forall$O]\\
                \pline[7.]{\exists y Rya \rightarrow Raa}[2, $\forall$O]\\
                \pline[8.]{\exists y Rya}[6, $\exists$I]\\
                \pline[9.]{Raa}[7,8, $\rightarrow$O] 
                }
               }
\end{document}

其结果是：

在此处输入图片描述

好多了！（虽然外线对我来说看起来还是稍微长了一点，但这可能只是我的错觉。）

本质上，我所做的就是重新定义subproof命令，以便删除更多空间。我更改了以下行：

#2 \\ \multicolumn{3}{@{}l@{}} \ \\[-5.5ex]

最后的原始值为-2.5ex。

这个破解方法出奇地强大，我还没有针对个别证明进行调整。不过我不太明白为什么“-5.5ex”是神奇的数字。

相关内容