Categories

Software para Lógica Primer Orden

ADN 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.

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos necesarios están marcados *