Asistente para Deducción Natural (ADN)
El Asistente para Deducción Natural (ADN) es una herramienta didáctica que asiste al alumno que se inicia en la técnica de Deducción Natural a elaborar sus propias deducciones.
Comprueba si la fórmula obtenida es sintácticamente correcta (fbf) y si se ha obtenido de forma adecuada (reglas básicas). Además, posee las siguientes herramientas de apoyo:
- Ayudante, que guía la interacción del usuario con el ADN.
- Visor de árboles sintácticos de las fórmulas.
- Informe detallado de los errores.
- Visor de reglas básicas.
- Aconsejador.
- Multilenguaje: posibilidad de ejecutarlo en cualquier idioma.
- Permite cargar ejercicios desde el servidor.
- Tutorial de deducción natural.