一個完整的新手（書籍推薦）的一階邏輯？

Question

我註冊了一個我不應該擁有的課程。所以現在我略微搞砸了，因爲我不明白教授解釋一階邏輯時使用的任何符號。我需要一些關於如何重新學習所有這些東西的書籍建議。例如：我很困惑什麼是「量詞」（我用Google搜索後知道）。有很多例子的好書嗎？謝謝

Answer 1

Jon Barwise & John Etchemendy，一階邏輯的語言（CSLI出版社，1992）是偉大的。修訂和擴大版於2002年發佈，標題爲語言，證明和邏輯。

Answer 2

在加州大學洛杉磯分校的邏輯學家有一本免費的邏輯書，涵蓋一階邏輯here。

本書的好處之一是它的編寫與free software program一起使用，以幫助學習邏輯。

我已經教過三門大學邏輯學課程，發現大部分學生除了閱讀關於他們的資料外，還完成了證明和派生工作。也就是說，如果你像學習數學或編程一樣學習邏輯，你將增加獲得成功的機會。