Fitch Format Proofs - любые ресурсы вокруг?

Question

В настоящее время я изучаю логические доказательства первого порядка Fitch Format. Мой лектор внимательно следит за Language, Proof and Logic от Jon Barwise.

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

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

Благодаря

Answer 1

Я довольно уверен, что точный формат Fitch ЛПЛ является уникальным для ЛПЛ. Общая концепция Fitch-style proof исходит от самого Fitch, хотя это, вероятно, не очень помогает вам.

Вот answers to selected exercises, хотя я считаю, что лучше всего задать интересующий вас инструктора конкретные вопросы или работать с группой одноклассников.