Математическая логика, доказательство

Нужно доказать теорему по математической логике (см. скриншот). Вывод доказательства должен быть подробным и по шагам. Обязательно нужно прояснить каждый пункт вывода.

Дополнительно в файлах приложены аксиомы, правила доказуемости, и т.д для исчисления секвенций, а также правила вывода для исчисления секвенций.

Также в приложении находится пример того, как должно выглядеть доказательство.

По всем вопросам прошу писать в личные сообщения, за скорость - чаевые :)