nin*_*eer 5 discrete-mathematics first-order-logic
我报名参加了一个我不应该参加的课程.所以现在我有点搞砸了,因为我不明白当我的教授解释一阶逻辑时使用的任何符号.我需要一些关于如何重新学习所有这些东西的书籍建议.例如:我对"量词"是什么感到困惑(谷歌搜索后我知道).有很多例子的好书吗？谢谢
Jon Barwise 和 John Etchemendy 的《一阶逻辑语言》（CSLI Press，1992）很棒。2002 年发布了修订和扩展版本，名为《语言、证明和逻辑》。