Примеры неявных определений в логике: объясняем на практике