Simuladores para tablas de verdad

Para propiciar procedimientos asociados al razonamiento, es importante involucrar al escolar en la exploración de hallazgos de valores de ciertas proposiciones. Frente a ello, el docente puede apoyarse en herramientas dispuestas en la Web con el fin de facilitar el proceso y construcción de tablas de verdad.

En este vínculo el docente podrá implementar procesos de ejercitación de tablas de verdad. De esta manera, se potencia los procesos de simbolización en lógica.

Para ello, Georffrey Acevedo nos muestra un tutorial de cómo utilizar dicho simulador apoyándose en caracteres propios que no son de uso común en la lógica formal de la matemática, pero sí en las ciencias de la computación.

Guía para estudiantes

Guía para maestros