Un ejemplo de articulación de la lógica y la geometría dinámica en un curso de geometría plana

En este articulo damos a conocer nuestro punto de vista en relacion con el papel de la logica matematica en los procesos de ensenanza y aprendizaje de la demostracion. Ilustramos como introducimos tematicas de la logica en un curso de geometria, para lo cual acudimos a los sucesos del cursillo realizado en el XX Encuentro de Geometria y sus Aplicaciones. Presentamos ejemplos en el los que la geometria dinamica se constituye en un contexto que propicia el acercamiento sugerido a la logica matematica.