Явная и неявная схема Явные и неявные определения в логике примеры