Que pasada, copio y pego:
Junto con algunos colegas del Departamento de Lógica, hemos puesto en marcha un proyecto de innovación docente cuyo objetivo es introducir la herramienta TAUT en los cursos de lógica. TAUT es un software para realizar ejercicios de lógica que, además de generar ejercicios, los corrige, señala eventuales errores y da la respuesta correcta. Podéis verlo aquí, es de acceso abierto:
www.taut-logic.com/
Esta herramienta puede ser útil para adquirir práctica en el tipo de ejercicios que se realizan en lógica. Se puede usar para evaluar si estáis haciendo bien los ejercicios, generar más ejercicios si pensáis que necesitáis más práctica, etc.
La interfaz de TAUT es bastante intuitiva, y el formalismo es muy parecido al que se utiliza en el libro Formas Lógicas, pero hay algunas pequeñas diferencias. Para la lógica proposicional (en particular, tablas de verdad y deducción natural) tenemos estos videos explicativos sobre TAUT realizados por la Prof Picazo:
Tablas de verdad:
web.microsoftstream.com/video/8d8e5e03-0...d9-ba70-e1f98fc000f3
Deducción natural:
web.microsoftstream.com/video/8d5dbd7a-5...63-b8c9-f6af0dc69a5c
Los que estéis interesados y tengáis tiempo para practicar con TAUT, podéis también dejar un feedback aquí. Os pondré también un enlace a un formulario, para que podáis hacerlo de forma anónima; vuestra opinión nos podrá ayudar a mejorar la herramienta y su uso didáctico.