Доказательства формата Fitch - есть ли ресурсы вокруг?
В настоящее время я изучаю логические доказательства первого порядка в формате Fitch. Мой лектор внимательно следит за языком, доказательством и логикой Джона Барвейса.
Я пытаюсь сделать некоторые доказательства, но у меня возникают проблемы с пониманием того, как сделать эти доказательства. Поскольку я уже читал, что может предложить Language Proof и Logic, я хотел бы знать, существуют ли какие-либо другие книги или ресурсы, которые используют формат Fitch для своих официальных доказательств.
Плюс, решив упражнения, будет большая (!) Помощь.
Спасибо
2 ответа
Я уверен, что точный формат Fitch в LPL уникален для LPL. Общая концепция доказательства в стиле Fitch исходит от самого Fitch, хотя, вероятно, она вам не сильно поможет.
Здесь приведены ответы на отдельные упражнения, хотя я думаю, что вам лучше всего задать вашим инструктору конкретные вопросы или поработать с группой одноклассников.
Проверочный тест Клемента, который входит в учебник по логике, доступен онлайн. По поводу запроса:
Я хотел бы знать, есть ли какие-либо другие книги или ресурсы, которые используют формат Fitch для своих официальных доказательств.
Используя эти два ресурса, вы сможете научиться функционалу истины и логике первого порядка, используя систему естественных дедукций в стиле Fitch. Они также предоставили бы дополнение к любому тексту, который вы сейчас используете.
Ссылка
Редактор и средство проверки естественных дедукций Кевина Клемента в стиле JavaScript/PHP Fitch http://proofs.openlogicproject.org/
П.Д. Магнус, Тим Баттон с дополнениями Дж. Роберта Лофтиса, ремикс и рецензия Аарона Томаса-Болдука, Ричарда Зака, forallx Калгари Ремикс: Введение в формальную логику, зима 2018. http://forallx.openlogicproject.org/