Логика в картинках: визуализация тезисов