Gua para recursos educativos Lgica Matemtica Simulador

tablas de verdad

Temticas revisadas: lgica proposicional, tablas de verdad en proposiciones

compuestas, tautologas, contradicciones y contingencias.

Actividad prctica: uso de un simulador (software) para la construccin de

tablas de verdad para proposiciones compuestas y el uso del lgebra
proposicional. El cual se denomina TRUTH:

Estrategia de aprendizaje: se incorpora en el curso de Pensamiento Lgico y

Matemtico el Aprendizaje Basado en Problemas (ABP), el cual consiste en
implementar problemas cuyo enfoque de resolucin sea potenciar y fortalecer
las competencias matemticas para la adquisicin e integracin de los
conocimientos propios del curso que permitan su adecuada aplicabilidad en el
programa de estudio, ya que son temticas transversales e interdisciplinares a
las dems ciencias.
Ubicacin de la actividad prctica: el simulador TRUTH se encuentra ubicado
en el Entorno de Aprendizaje Prctico, al hacer clic en la respectiva etiqueta se
puede descargar el software. Sin embargo a continuacin se entrega el link de
acceso a dicho simulador:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Objetivo: orientar al estudiante en el uso de un simulador de tablas de verdad

con el fin de sistematizar el lgebra proposicional y comprobar la construccin de
las mismas, conforme a lo definido en el valor de verdad de las proposiciones
compuestas bsicas: disyuncin, conjuncin, implicacin y bicondicional, como
apoyo tecnolgico en el desarrollo de los problemas planteados en los trabajos
colaborativos por ABP.

Descripcin: el simulador TRUTH es una herramienta de apoyo al desarrollo de

las tablas de verdad, el cual se encuentra disponible durante todo el periodo
acadmico para que los estudiantes puedan acceder a l en cualquier momento.
En las guas de los Trabajos colaborativos Dos y Tres se menciona el uso de este
simulador.

A continuacin se entrega el link de acceso a un video tutorial de cmo usar el

simulador TRUTH:

http://www.youtube.com/watch?v=ZKg7wt9EGJI