Подчиненными логика Неявные определения в логике примеры