Определение логический метод Явные и неявные определения в логике примеры