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