☰

如何在 LaTeX 中编写自然演绎树。

tag-icon • tag-icon packages logic
如何在 LaTeX 中编写自然演绎树。

可能重复：
用于排版校样树的最佳软件包是什么？

是否有一些包可以用来编写漂亮的自然演绎（逻辑演绎树）？

非常感谢您的示例！

以下是一些示例自然扣除。

答案1

请查看 http://www.logicmatters.net/latex-for-logicians/nd/

相关内容