Помогите пожалуйста!

[dark2014]

Надо построить вывод формулы
Хотя бы пару подстановок в аксиомы


Аксиоматические теории
Построить вывод формулы в ИВ:
├( не A => A) =>A

[svv]

Сразу три нарушения: дублирование темы, неиспользование $\TeX$ при наборе формул, отсутствие собственных попыток решения задачи.

Да, ещё несодержательный заголовок. В общем, образец того, как не следует обращаться за помощью.

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: не приведены попытки решения, формулы не оформлены $\TeX$ом, бессодержательный заголовок

dark2014
Приведите попытки решения, укажите конкретные затруднения.
Наберите все формулы и термы $\TeX$ом, ссылку на картинку сносите.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
Дайте теме содержательное название.
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.