Resumen

Presentamos una muestra de nuestro trabajo de grado mediante la exposición del software titulado Razonando con colores, resultado de la implementación de la teoría presente en un artículo elaborado por profesores investigadores del Departamento de Matemáticas de la Universidad Pedagógica Nacional, que lleva el mismo nombre1; cuyo fin es facilitar el estudio de operaciones en una lógica con más de dos valores de verdad, el proceso de representar dichas operaciones para, a partir de diversos ejemplos, conjeturar y comprobar tautologías, en particular aquellas que son válidas en lógica bivalente, sin necesidad de diseñar tablas de verdad, economizando algoritmos dispendiosos y permitiendo así, dedicar más tiempo a la formulación y comprobación de hipótesis y al análisis de resultados.