помогите,пожалуйста, доказать секвенцию:(Ax(B(x)=>(C(x)vD(x)))=>(EyB(y)=>(EzC(z)vEtD(t))))
Русская версия Invision Power Board (http://www.invisionboard.com)© Invision Power Services (http://www.invisionpower.com)