computer-science - Fitch Format Proofs - 周围有什么资源吗？

Question

我目前正在研究 Fitch Format 一阶逻辑证明。我的讲师密切关注Jon Barwise 的语言、证明和逻辑。

我正在尝试做一些证明，但我在理解如何做这些证明方面遇到了一些麻烦。因为我已经阅读了 Language Proof and Logic 提供的内容，所以我想知道周围是否有其他书籍或资源使用 Fitch 格式进行正式证明。

另外，完成练习会很有帮助（！）。

谢谢

Answer 1

我相当有信心 LPL 的 Fitch 格式是 LPL 独有的。一般的Fitch 式证明概念来自 Fitch 本人，尽管它可能对您没有多大帮助。

以下是选定练习的答案，但我认为最好的办法是向教师提出具体问题或与一群同学一起工作。

Answer 2

与forallx逻辑教科书配套的 Klement 证明检查器可在线获得。关于请求：

我想知道周围是否有其他书籍或资源使用 Fitch 格式进行正式证明。

有了这两个资源，一个人应该能够使用 Fitch 式的自然演绎系统来学习真值泛函和一阶逻辑。他们还将为当前使用的任何文本提供补充。

---

参考

Kevin Klement 的 JavaScript/PHP Fitch 风格的自然演绎证明编辑器和检查器http://proofs.openlogicproject.org/

PD Magnus、Tim Button 以及 J. Robert Loftis 的添加，由 Aaron Thomas-Bolduc、Richard Zach 重新混合和修订，forallx Calgary Remix: An Introduction to Formal Logic，2018 年冬季。http: //forallx.openlogicproject.org/