доказание секвенции > Разное > Образовательный студенческий форум

sona91

Сообщение #88834 9.6.2013, 16:47

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

Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.