Я в настоящее время изучаю доказательства логики первого порядка Формата Fitch. Мой лектор следует тесно за Языком, Доказательством и Логикой Jon Barwise.
Я пытаюсь сделать некоторые доказательства, но я испытываю некоторые затруднения при получении, чтобы понять, как сделать эти доказательства. Поскольку я уже считал то, что должны предложить Доказательство Языка и Логика, я хотел бы знать, существуют ли какие-либо другие книги или ресурсы вокруг того использования формат Fitch для своих формальных доказательств.
Плюс, решив упражнения имел бы большую (!) справку.
Спасибо
Я вполне уверен, что точный формат LPL Fitch является уникальным для LPL. Общая концепция доказательства в стиле Fitch исходит от самого Fitch, хотя она, вероятно, не сильно поможет вам.
Вот ответы на избранные упражнения , хотя я думаю, что лучше всего задавать конкретные вопросы своему инструктору или работать с группой одноклассников.