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

Question

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

Answer 1

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

本书的一个好处是，它被编写为与free software program一起使用以帮助学习逻辑。

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

Answer 2

Jon Barwise＆amp; John Etchemendy，一阶逻辑语言（CSLI出版社，1992年）很棒。修订版和扩展版于2002年发布，名为语言，证明和逻辑。