惠誉格式证明 - 周围的任何资源？

Question

我目前正在研究惠誉格式的第一阶逻辑证明。我的讲师密切关注Jon Barwise的Language, Proof and Logic。

我正在尝试做一些证明但我在理解如何进行这些证明方面遇到了一些麻烦。由于我已经阅读过语言证明和逻辑提供的内容，我想知道是否有其他书籍或资源使用惠誉格式作为其正式证明。

另外，解决了练习会很棒（！）帮助。

由于

Answer 1

我相当确信LPL的确切Fitch格式是LPL独有的。一般Fitch-style proof概念来自惠誉自己，虽然它可能对你没什么帮助。

以下是answers to selected exercises，但我认为最好的办法是向教师询问具体问题或与一群同学一起工作。

Answer 2

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

  

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

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

---

参考

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

P。 D.Magnus，Tim Button和J.Robert Loftis的补充内容由Aaron Thomas-Bolduc，Richard Zach，forallx Calgary Remix混音和修订，2018年冬季。http://forallx.openlogicproject.org/