1º de Bachillerato: Generador de tablas de verdad

Cuando nos enfrentamos a la comprobación de un argumento un poco complicado, puede resultar engorroso y aburrido hacer las correspondientes tablas de verdad. Por eso, Greg Restall, profesor de la Universidad de Melbourne (Australia), ha elaborado un programa de ordenador muy útil para comprobar si un argumento es una tautología, una contradicción o una contingencia. En este enlace:  http://www.ite.educacion.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03tablasvdad/generadorfrset.html , tenéis el programa, para que lo utilicéis siempre que tengáis que comprobar la validez de un argumento. Al principio, tendréis alguna dificultad para manejar las variables (porque, por exigencias del programa, difieren un poco de lo que se ha visto en clase); pero rápidamente se acostumbra uno, y puede utilizarlo sin problema.