Pontificia Universidad Católica del Ecuador

Sede Esmeraldas

Cálculo Proposicional y Predicados

Tema:Software para la generación de tablas de

verdad.

INTEGRANTES:

• Cedeño Panezo Marlon• Munoz Toala Irina

• Pianchiche De la Cruz Wilmer• Sacón Carranza Kevin• Sánchez Maila Menghy

OBJETIVOFacilitar el conocimiento a los estudiantes a cerca de las tablas de verdades utilizando el

software AnallogicA.

INTRODUCCIÓNLa capacidad de hacer deducciones lógicas fue considerada durante mucho tiempo como una posibilidad reservada a la

mente humana. La investigación desarrollada en los años 1960 en el área de la demostración automática de teoremas ha

mostrado que esta tarea puede ser realizada por máquinas programables, tales como las computadoras.

¿Qué es y cómo está estructurado AnallogicA?

Es una herramienta de lógica proposicional diseñada para generar tablas lógicas y tablas de la verdad.

El programa admite hasta 15 variables diferentes, lo que en combinaciones serían más de 32.000

posibilidades.Está realizado en C++ y la interfaz con Wxwidgets!

ENTORNO GRÁFICO

Barra de título

Barra de

menú

Barra de función

Tabla resultante

Descripción de la tabla

Barra de operadores

Características • Tamaño: 3 MB.

• Lenguajes: Español

• Tipo de programa: Freeware

• Sistemas Operativos en los que funciona : win 95, w98, w98SE, wNT, w2000, wXP, win vista, win7

Resultados estadísticos

Conclusiones• En la actualidad la mayoría de estudiantes universitarios tienen conocimientos (medios) en lo referente a la lógica proposicional y las tablas

de verdad.• La utilización de medios informáticos para la construcción de tablas de verdad, son casi nulas.

• Casi en una gran proporción, so se encuentra la necesidad de emplear generadores de tablas de

verdad.

BIBLIOGRAFÍAhttp://www.monografias.com/trabajos16/calculo-

proposicional/calculo-proposicional.shtml

http://www.monografias.com/trabajos55/tic-en-programacion/tic-en-programacion2.shtml