Определения в логике: виды и примеры