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

está tendencia está cambiando, y en la Universidad cada vez es mayor el numero de
profesores que se interesan por los aspectos didácticos de sus materias. Pero aún queda
mucho por hacer, y en la universidad española la docencia está en clara inferioridad con
respecto a la investigación.
No existe una fórmula única, mágica y universal. Cada campo, área, materia e incluso
tema puede necesitar de un enfoque distinto. Cada profesor debe diseñar su estrategia
para enseñar (y complementariamente que el estudiante aprenda) su asignatura. La
nuevas tecnologías pueden ayudarnos a ello. El uso de los ordenadores no es un
beneficio en sí mismo, pero si que podemos aprovechar sus características para sacar
ventajas en nuestra tarea.
La aplicación aquí presentada surge de la tarea de impartir asignaturas relacionadas con
la lógica en primer curso del nivel universitario, de la preocupación y el respeto por la
tarea docente y el interés por las nuevas tecnología de la información y las
comunicaciones. Todo ello conjugado, hace que observando las dificultades que tienen
los estudiantes para aprender la técnica de la deducción natural y los errores que
cometen, hayamos diseñado una herramienta didáctica que ejecutada en un ordenador,
evite que el estudiante cometa esos errores y la ayude en los aspectos más dificultosos.
Aunque la aplicación ADN únicamente puede servir a los profesores que tengan que
enseñar la técnica de la deducción natural, la reflexión puede ser exportable.
2. Lógica
¿Qué es conocimiento? podríamos decir que es el hecho o la condición de conocer algo
que hemos adquirido por experiencia o asociación. Los seres humanos vamos
adquiriendo conocimiento al ver, oír, tocar, sentir y oler el mundo que nos rodea. Y ese
conocimiento lo almacenamos en nuestro cerebro.
Se han desarrollado distintos formalismos para representar y manipular el conocimiento
humano. En el enfoque simbólico se utilizan símbolos para representar el conocimiento
y el estado del mundo y se simula el proceso cognitivo mediante manipulación de esos
símbolos. La Lógica de Predicados pone a nuestra disposición un lenguaje que nos
permitirá formalizar expresiones del conocimiento humano haciendo explícitos los
objetos y las relaciones, así como sus restricciones. Además nos proporciona un
método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo.
Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos