Записать на символическом языке утверждение