El documento describe AnallogicA, un software gratuito para generar tablas de verdad de proposiciones lógicas. El software permite hasta 15 variables y más de 32,000 posibilidades de combinaciones. Fue desarrollado en C++ e incluye una interfaz gráfica. El documento también indica que aunque los estudiantes universitarios conocen la lógica proposicional, rara vez usan herramientas informáticas para construir tablas de verdad.

1. Cálculo Proposicional y Predicados
Tema:
Software para la generación de tablas de verdad.

2. • Cedeño Panezo Marlon
• Munoz Toala Irina
• Pianchiche De la Cruz Wilmer
• Sacón Carranza Kevin
• Sánchez Maila Menghy

3. Facilitar el conocimiento a los estudiantes a cerca de las
tablas de verdades utilizando el software AnallogicA.

4. La 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.

5. 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!

6. Barra de título
Barra de
menú
Barra de función
Tabla resultante
Descripción
de la tabla
Barra de operadores

7. • 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

11. • 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.

12. BIBLIOGRAFÍA
http://www.monografias.com/trabajos16/calculo-
proposicional/calculo-proposicional.shtml
http://www.monografias.com/trabajos55/tic-en-
programacion/tic-en-programacion2.shtml