ADN : una herramienta para la enseñanza de la Deducción Natural

• Quedarse parados y no saber por donde continuar.
Al diseñar el asistente hemos tenido en cuenta estos problemas de forma que esta
herramienta pueda ayudar a nuestros estudiantes. Algunas de las ventajas que ofrece el
ADN para realizar deducciones ya han sido comentados al explicar la técnica de la
deducción natural y otros serán comentados en el siguiente apartado.
3. Asistente para la Deducción Natural (ADN)
Vamos a presentar una herramienta didáctica de apoyo para el aprendizaje de la técnica
de Deducción Natural. Dicha herramienta ha sido diseñada y desarrollada en el
departamento de Ciencia de la Computación e Inteligencia Artificial de la Universidad
de Alicante. Esta herramienta pretende ser un instrumento didáctico que ayude a los
estudiantes a escribir fórmulas lógicas bien formadas y a realizar deducciones
correctamente. No se trata de un sistema que construya demostraciones de forma
automática; simplemente es un asistente que supervisará y guiará al estudiante en el
proceso, ayudándola a elaborar sus propias deducciones. Comprueba si la fórmula es
sintácticamente correcta (fbf) y si se ha obtenido de forma adecuada (aplicación de las
reglas básicas). Además, posee algunas herramientas de apoyo, como el visor de árboles
sintácticos de las fórmulas, informe detallado de los errores, visor de reglas básicas,
aconsejador y ayuda en línea. ADN ([Llorens2000]) puede ser ejecutado con cualquier
navegador, ya que se trata de un applet escrito en Java. Se encuentra disponible en
internet en el sitio web:
http://www.dccia.ua.es/logica/ADN
La aplicación se ejecuta vía internet, para ello el ordenador debe estar concetado a la
red. También se dispone de una versión para instalación en el ordenador y ejecutarlo de
manera local, sin necesidad de conexión a la red. De cualquier modo, al jecutarlo se bre
una ventana de la Figura 2. Desde aquí podemos acceder a los dos partes de la
aplicación: el tutorial de deducción natural y la aplicación que permite realizar
deducciones.