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

Question

目前我正在誉格式一阶逻辑证明。我的讲师紧随语言，证明和逻辑通过乔恩·巴斯。

我试图做一些证据，但我有一些麻烦，以了解如何做这些证据。正如我已经读什么语言证明和逻辑所提供的，我想知道是否有任何其他的书或资源周围使用了他们的正式证明了惠誉格式。

另外，有解决演习将是巨大的（！）的帮助。

由于

Answer 1

我相当有信心，LPL的确切惠誉格式是唯一的LPL。一般惠誉式防爆的概念来自惠誉本人虽然它可能没有太大的对你的帮助。

下面是答案所选演习的，但我认为最好的办法是问你的教练的具体问题或工作与一群同学。

Answer 2

随的 forallx 的教科书的推移逻辑

克莱门特的证明检查可在网上。关于请求：

  

我想知道是否有任何其他的书或资源周围使用惠誉格式为他们的正式证明。

使用这两个资源的一个应该能够使用自然演绎的誉式系统学习真理功能和一阶逻辑。他们也将提供一个补充任何一个文本目前使用到。

---

参考

凯文·克莱门特的JavaScript / PHP惠誉风格的自然演绎证明编辑和检查 http://proofs.openlogicproject.org/

P上。 D.马格努斯，蒂姆·巴顿由J.罗伯特Loftis添加混音和亚伦·托马斯，Bolduc，理查德·扎克修订，forallx卡尔加里混音：介绍形式逻辑，2018年冬天的 http://forallx.openlogicproject.org/