Формальное доказательство для ((p ⇒ q) ⇒ p) ⇒ p
Я пытаюсь построить формальное доказательство для ((p ⇒ q) ⇒ p) ⇒ p. в Fitch. Я знаю, что это правда, но как мне доказать это?
Я могу использовать только "Интро", "Элим", "Инро", "Элим", "Нег интро", "Нег Элим", "Импл интро", "Импл Элим", "Двухусловное введение" и "Двухусловное элим".
1 ответ
В следующем доказательстве используется проверка Klement в стиле Fitch. Описание символов и правил в форме. Ссылки на оба ниже.
Немного другая версия находится на сайте Philosophy Stack Exchange: https://philosophy.stackexchange.com/a/55395/29944 Это было бы еще одно место, где можно попытаться получить ответы на такие вопросы.
Рекомендации
Редактор и средство проверки естественных дедукций Кевина Клемента в стиле JavaScript/PHP Fitch http://proofs.openlogicproject.org/
П.Д. Магнус, Тим Баттон с дополнениями Дж. Роберта Лофтиса, ремикс и рецензия Аарона Томаса-Болдука, Ричарда Зака, forallx Калгари Ремикс: Введение в формальную логику, зима 2018. http://forallx.openlogicproject.org/