Логика первого заказа для полного новичка (рекомендации по книге)?

Question

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

Answer 1

Джон Барз и Джон Этхеменди, Язык логики первого порядка (CSLI Press, 1992) великолепен. Пересмотренное и расширенное издание было выпущено в 2002 году под названием Язык, доказательство и логика.

Answer 2

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

Одна из хороших вещей в книге - это то, что она написана для использования в сочетании с БЕСПЛАТНАЯ программная программа Чтобы помочь изучить логику.

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