доказание секвенции ( Сообщение # 88834 by sona91 ) > Разное > Образовательный студенческий форум

sona91

9.6.2013, 16:47

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

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