☰

莱蒙式逻辑证明

tag-icon • tag-icon logic
莱蒙式逻辑证明

Logic 中是否存在用于 Lemmon 风格证明的包？例如： http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-bau.html

谢谢

答案1

有一个包不在 CTAN 上，但可以在以下位置找到：http://phloxgroup.wordpress.com/2010/03/22/lemmon-style-natural-deduction-proofs-in-latex/（出于某种原因¹，作者将文件保存为 .doc 文件，只是另存为.sty 文件，它就可以工作了）。

我还没有彻底测试过这个包，但你可以做类似的事情：

\documentclass{article}
\usepackage{nd3}
\begin{document}
    \begin{ND}[Anothter Proof][ ][\awidth{the proof}][\rwidth{the proof}][.8\linewidth]
        \ndl{} {$a=a$} {$= $I}\label{1}
        \ndl{} {$\forall x\,x =x$ }{\ref{1},$\forall$I}\label{2}
    \end{ND}
\end{document}

（示例取自手动的）在此处输入图片描述

您可能还想查看以下列出的软件包：http://www.logicmatters.net/latex-for-logicians/也许你会发现一些有趣的东西

--

¹实际上，博客中已经解释了原因

相关内容