доказать секвенцию

[sona91]

помогите,пожалуйста, доказать секвенцию:
(Ax(B(x)=>(C(x)vD(x)))=>(EyB(y)=>(EzC(z)vEtD(t))))

[Deggial]

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

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