discrete-mathematics - 完整新手的一阶逻辑（书籍推荐）？

Question

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

Answer 1

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

这本书的优点之一是它被编写为与免费软件程序一起使用以帮助学习逻辑。

我教过三门大学逻辑课程，发现大多数学生除了阅读证明和推导外，还通过完成证明和推导做得更好。也就是说，如果您以与学习数学或编程相同的方式学习逻辑，您将增加成功的机会。

Answer 2

Jon Barwise 和 John Etchemendy，一阶逻辑的语言（CSLI 出版社，1992 年）很棒。2002 年发布了修订版和扩展版，标题为Language, Proof and Logic。