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