Нужна помощь при доказательстве.

[korneev]

Добрый вечер всем. Нужно было доказать: $(((B \to C) \& \neg \neg B) \to (\neg \neg B \& \neg \neg B))$
мои потуги похоже оказались неверными. Подскажите пожалуйста, хотя бы с какой формулы можно начать. Можно использовать только модус понус и 10 аксиом (прикрепил во вложении в картинке, вместе с попыткой решить). Заранее благодарен!

[Deggial]

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

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