Вывод в ИВ

[Iron_f1st]

Нужно построить вывод в ИВ (система Клини)


Через теорему о дедукции.
Помогите построить вспомогательный вывод, основной я смогу сам.

Вспомогательный вывод такой:
$(A \supset B)\vdash \neg(A\bigwedge B)$

[Deggial]

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

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