Помогите доказать одну из секвенций

[george66]

Да, всё правильно, поздравляю. Вывод сложный, потому что "не конструктивный". Мы доказываем формулу с дизъюнкцией
$\neg\Phi_1\vee\neg\Phi_2$, но при этом не можем доказать из посылок ни $\neg\Phi_1$, ни $\neg\Phi_2$ (что интуитивно хочется сделать)