En esta comunicación reportamos algunos resultados de un estudio investigativo[1] relacionado con el aprendizaje de la demostración. Éste se centró, especialmente, en identificar formulación de implicaciones (Arzarelo, 2007) y procesos abductivos que llevan a cabo estudiantes cuando, apoyados en un programa de geometría dinámica, resuelven un problema cuyo fin es descubrir un hecho geométrico, formular una conjetura y demostrarla. Apoyados en los registros de audio y video, y en la trascripción de los mismos, se describió e interpretó la actividad de un grupo de estudiantes en relación con dichos procesos. Describimos el papel de la geometría dinámica no sólo como entorno que permite exploraciones de tipo empírico, sino como potenciador de procesos abductivos relacionados con la implicación.

[1] Este artículo es resultado de una investigación que pudo realizarse gracias al apoyo de Colciencias.