Логические задачи по математике 2 Логика второго порядка примеры