一个完整的新手的第一顺序逻辑(书籍推荐)？

Question

我报了一个我不该报的班。所以现在我有点搞砸了，因为我不理解我的教授在解释一阶逻辑时使用的任何符号。我需要一些书上的建议，关于如何重新学习所有这些东西。例如:我对什么是“量词”感到困惑(在谷歌上搜索后我确实知道了)。有没有有很多例子的好书？谢谢

Answer 1

Jon Barwise和John Etchemendy，一阶逻辑的语言(CSLI出版社，1992)是伟大的。修订版和扩展版于2002年发布，标题为语言、证明和逻辑。

Answer 2

加州大学洛杉矶分校的逻辑学家有一本涵盖一阶逻辑here的免费逻辑书。

这本书的优点之一是，它是为了与free software program结合使用来帮助学习逻辑而编写的。

我教过三门大学的逻辑学课程，发现大多数学生除了阅读关于它们的知识外，还会通过完成证明和推导来做得更好。也就是说，如果你像学习数学或编程一样学习逻辑，你就会增加成功的机会。