完全新手的一阶逻辑（书籍推荐）？
我报名了一个不该参加的课程。所以现在我有点搞砸了，因为我不明白我的教授在解释一阶逻辑时使用的任何符号。我需要一些关于如何重新学习所有这些东西的书籍建议。例如：我对什么是“量词”感到困惑（谷歌搜索后我确实知道了）。有什么例子比较多的好书吗？谢谢
I signed up for a class that I shouldn't have. So now I'm slightly screwed because I don't understand any of the notation used when my professor was explaining first order logic. I need some book suggestions as to how to re-learn all of these things. For example: I was confused as to what a "quantifier" is (I do know after Googling it). Any good books with plenty of examples? Thanks
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
加州大学洛杉矶分校的逻辑学家有一本免费的逻辑书，涵盖一阶逻辑这里< /a>.
这本书的好处之一是，它是为了与免费软件程序结合使用而编写的帮助学习逻辑。
我教授过三门大学逻辑课程，发现大多数学生除了阅读相关证明和推导之外，还可以完成证明和推导，从而取得更好的成绩。也就是说，如果你像学习数学或编程一样学习逻辑，你成功的机会就会增加。
The logicians at UCLA have a free logic book covering first-order logic here.
One of the nice things about the book is that it's written to be used in conjunction with a free software program to help learn logic.
I've taught three university logic courses and found the majority of students do much better by completing proofs and derivations in addition to reading about them. That said, if you approach learning logic in the same way as learning mathematics or programming you'll increase your chances for success.
乔恩·巴维斯 & John Etchemendy，一阶逻辑语言（CSLI Press，1992）很棒。 2002 年发布了修订和扩展版本，标题为语言、证明和逻辑。
Jon Barwise & John Etchemendy, The Language of First-Order Logic (CSLI Press, 1992) is great. A revised and expanded edition was released in 2002, titled Language, Proof and Logic.