Формат Fitch доказательства - любые ресурсы вокруг?

Question

Я в настоящее время изучаю логические доказательства логики Fitch Format. Мой преподаватель внимательно следит Язык, Доказательство и логика Джоном Барсу.

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

Плюс, решенные упражнениями будут иметь отличную (!) Помощь.

Спасибо

Answer 1

Я довольно уверен, что точный Fitch Fitch LPL уникален для LPL. Генерал Доказательство в стиле Fitch Концепция исходит от самого Fitch, хотя это, вероятно, не большая помощь для вас.

Вот Ответы на выбранные упражнения, Хотя я думаю, что ваша лучшая ставка - спросить вашего инструктора по конкретным вопросам или работать с группой одноклассников.

Answer 2

Доказательство подтверждения Клемента, которая идет с forallx. Учебник на логике доступно в Интернете. Что касается запроса:

Я хотел бы знать, есть ли какие-либо другие книги или ресурсы, которые используют формат Fitch для их формальных доказательств.

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

---

Ссылка

JavaScript / php kevin klely's javascript / php-редактор и проверка http:////// penlogicproject.org/

PD Magnus, TIM Кнопка с дополнениями от J. Robert Loftis Remixed и пересматривается Aaron Thomas-Bolduc, Richard Zach, Forallx Calgary Remix: введение в формальную логику, зима 2018 года. http://forallx.openlogicproject.org/