Понимание это Южный Город Явные и неявные определения в логике примеры