Логическая структура и примеры доказательств: схемы и изображения