Допустимость правил (мат. логика)

Доказать, что если правило

допустимо, то правило

тоже.
Г — последовательность формул.

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: