доказать выводимость в ИПС секвенций

[Diana8529]

А не содержит свободных вхождений x. Доказать выводимость в ИПС секвенций.


надо решить пример (д)
подскажите с чего начать? какие формулы применять?

[Pphantom]

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

- условие отсутствует;
- его нужно будет набрать (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- когда оно появится, нужно будет предложить собственные содержательные попытки решения задачи.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.