Неявные определения примеры Явные и неявные определения в логике примеры