Вывести теорему в исчислении высказываний

[Necromancer]

подскажите, правильно ли решаю данную задачу:
Докажите, что во всяком исчислении высказываний, котором правилом вывода является правило МР и в котором
справедлива теорема о дедукции, следующие формулы будут теоремами (выводимы из аксиом), каковы бы ни были аксиомы этого исчисления:
(G->H)->(G->(F->H))

Решение:

1) G->H |- G->(F->H) по теореме дедукции
2) G->H, G |- F->H по теореме дедукции
3) G->H, G, F |- H по теореме дедукции
4) MP(G,G->H)=H

[Deggial]

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

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