Логика - доказать в исчислении высказываний

[ChemicalBoy]

Добрый день!

Требуется доказать в исчислении высказываний:
¬ (A& ¬B)≡((A&(B->C)) ->B)

Можно пользоваться теоремой дедукции, м.п., 3 аксиомами
1. A-> (B->A)
2. (A->(B->C))->((A->B)->(A->C))
3. (¬B->¬A)->(( ¬B->A)->B

и 9 секвенциями

1. (A->B, B->C) |- A->C
2. A->(B->C), B |- A->C
3. |- (¬¬A -> A)
4. |- (A-> ¬¬A)
5. |- A-> (¬A->B)
6. |- (¬B->¬A) -> (A->B)
7. |- (A->B) -> (¬B->¬A)
8. |- (A-> (¬B -> (A->B)))
9. |- (A->B) -> ((¬A->B)->B)

Подскажите с чего начать и каким образом доказать данное выражение?

[Deggial]

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

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