Se estudia el uso de un software –asistente de demostración– utilizado en la exploración de reglas teóricas de la geometría euclidiana, y que facilita la construcción y validación de pasos de razonamiento en el proceso de construcción de demostraciones formales. Nuestra hipótesis es que “el proceso de exploración de reglas teóricas, en el asistente de demostración, caracterizado por procesos de razonamiento abductivo y deductivo es interiorizado progresivamente por el estudiante”. Mostraremos la funcionalidad del asistente de demostración, y algunas conclusiones obtenidas en lo que va del desarrollo de la investigación.