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