First Order Logic для полного новичка (книжные рекомендации)?

Question

Я записался в класс, который мне не следовало посещать.Так что теперь я слегка облажался, потому что я не понимаю ни одной из обозначений, использованных, когда мой профессор объяснял логику первого порядка.Мне нужны некоторые книжные предложения о том, как заново изучить все эти вещи.Например: я был озадачен тем, что такое «квантификатор» (я знаю после его поиска в Google).Есть хорошие книги с множеством примеров?Спасибо

Answer 1

У логиков в UCLA есть бесплатная книга по логике, охватывающая логику первого порядка здесь .

Одной из приятных особенностей этой книги является то, что она написана для использования вместе с бесплатной программой , помогающей изучать логику.

Я преподавал три университетских курса по логике и обнаружил, что большинство студентов работают намного лучше, заполняя доказательства и выводы в дополнение к чтению о них. Тем не менее, если вы подходите к обучению логике так же, как к изучению математики или программирования, вы увеличите свои шансы на успех.

Answer 2

Джон Барвей и Джон Этчеменди, Язык логики первого порядка (CSLI Press, 1992) великолепен. В 2002 году было выпущено пересмотренное и расширенное издание под названием Language, Proof and Logic .