Доказательство теоремы в теории L4

[EvgeniaChoo]

Помогите, пожалуйста, доказать теорему в теории L4
⊢_L4 неA⊃(A⊃C)

[svv]

(Оффтоп)

EvgeniaChoo писал(а):

⊢_L4 неA⊃(A⊃C)

Наверное, так разговаривают друг с другом роботы.

[Deggial]

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

EvgeniaChoo, приведите попытки решения, укажите конкретные затруднения.
Желательно указать систему аксиом, поскольку наименование теории $L_4$ не распространненое и непонятно, что имеется виду. В крайнем случае можете сослаться на Мендельсона (с указанием страницы).
Наберите, пожалуйста, формулы $\TeX$ом. Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
Логические символы набираются так:

$\vdash, \neg, \supset$

: $\vdash, \neg, \supset$
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.