☰

如何在逻辑证明中换行？

tag-icon • tag-icon logicproof
如何在逻辑证明中换行？

我目前正在尝试找到一种在逻辑证明中设置换行符的方法。我有几个证明太长了，被页面边缘截断了。

理想情况下，我正在寻找一种方法来使行自动换行，如果它太长，但如果我知道如何手动换行，这也会有很大帮助。

到目前为止，我已经尝试了 makecell 包中的 \ \ 和 \newline、\makecell 和 \thread，将整个证明放在只有一列且宽度固定的表中，并将各行放在这样的表中，但没有任何效果。

我确信解决方案非常明显，但我似乎找不到它。下面是其中一个证明的代码以及它在完成的 PDF 中的样子的屏幕截图。

\setlength\subproofhorizspace{2em}
\begin{logicproof}{0}
    \text{Whales are mammals. (true term)}&\\ 
    \text{Whales are mammals and humans need oxygen. (disjunction introduction version 1 of line 1, here the introduced term is true)}&\\ 
    \text{Whales are mammals and the world ended in 2012. (disjunction introduction version 1 of line 1, here the introduced term is false)}&\\
    \text{Albert Einstein is dead or whales are mammals. (disjunction introduction version 2 of line 1, here the introduced term is true)}\\
    \text{Australia doesn't exist or whales are mammals. (disjunction introduction version 2 of line 1, here the introduced term is false)}
\end{logicproof}

切断逻辑证明的图像

答案1

在此处输入图片描述

\documentclass{article}
\usepackage{logicproof}
\newcommand\state[1]{\parbox[t]{20em}{\sloppy#1}}
\begin{document}
\setlength\subproofhorizspace{2em}
\begin{logicproof}{0}
    \state{Whales are mammals. (true term)}&\\ 
    \state{Whales are mammals and humans need oxygen.\\ (disjunction introduction version 1 of line 1, here the introduced term is true)}&\\ 
    \state{Whales are mammals and the world ended in 2012.\\ (disjunction introduction version 1 of line 1, here the introduced term is false)}&\\
    \state{Albert Einstein is dead or whales are mammals.\\ (disjunction introduction version 2 of line 1, here the introduced term is true)}\\
    \state{Australia doesn't exist or whales are mammals.\\ (disjunction introduction version 2 of line 1, here the introduced term is false)}
\end{logicproof}
\end{document}

相关内容