Индивидуальные переменные в логике: визуальные примеры