Tareas pendientes

  • [X] Práctica sobre el Teorema de Deducción
  • [X] Práctica sobre la Reducción al Absurdo
  • [X] Estudiar la forma de dar como pista el nombre de la regla a aplicar
  • [X] En las derivaciones usar un tooltip para mostrar la regla a que alude la abreviatura
  • [X] Mecanismo para resetear los elementos radio
  • [X] Menú de navegación principal
  • [X] Portada: tarjetas con las principales secciones
  • [X] Glosario
  • [X] En las reglas derivadas de la conjunción se usa el SD en el primer ejercicio sin haberse introducido todavía (línea 5)
  • [X] Sección de Actividades
    • [X] Estructura de la sección de actividades como libro
    • [X] Migración de todas las actividades de cada capítulo
  • [X] Texto admitido para formularios
    • [X] Pasar a minúsculas antes de procesar el resultado
    • [X] Evitar letras para conectores
  • [X] En la sección de reglas básicas de inferencia:
    • [X] Añadir abreviatura de las reglas de deducción
    • [X] Añadir botones de pistas (azules, varita mágica) sustituyendo al de solución directa cuando fuere menester (dando paso a la pista con la regla a aplicar y ya el botón amarillo con la solución)
  • [_] Añadir el teclado virtual a todas las interactividades de rellenar texto: Actividades-->2.6
  • [_] Bajar el dispositivo de activación de audio inmediatamente antes de los cuestionarios.
  • [_] Revisar y acabar de incluir todas las reglas de deducción en el archivo reglasdeduccion.js (TD, Cas, Abs) y todas las reglas derivadas
  • [_] Incluir en todos los <inputs> de texto el atributo autocomplete="off" para eliminar el texto al recargar
  • [_] Limpiar tablas varias en la primera sección, sobre todo (revisar las demás)
  • [_] Generador de tablas de verdad
    • [_] Página específica para el generador de tablas de verdad y bloque enlazándola en el pie de cada página
    • [_] Añadir el generador de tablas de verdad para poder comprobar rápidamente ejemplos
  • [_] Documentar mejor todos los tipos de ejercicios
  • [_] Redactar un documento ODT con todo lo necesario para añadir páginas
  • [_] Quitar de CSS que añada automáticamente el código &#8866; para mostrar: ⊢