Неявно заданная функция двух переменных Неявные определения в логике примеры