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