Построить вывод формулы. A→(¬B→¬(A→ B))

задан 19 Май 20:43

Не указывать исчисление при разговоре о выводе -- это очень распространённая ошибка. Люди что-то изучают, им дают упражнение в таком виде. Они повторяют условие, не упоминая контекст. Так нельзя, потому что исчислений много. Приходится догадываться, что имеется в виду исчисление L из Мендельсона.

Здесь вывод делается легко, и в учебнике он есть в готовом виде (Лемма 1.1(f)).

(19 Май 20:54) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×883

задан
19 Май 20:43

показан
36 раз

обновлен
19 Май 20:54

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru