El documento trata sobre el software AnallogicA, el cual permite generar tablas de verdad de forma automática. Actualmente la mayoría de estudiantes universitarios tienen conocimientos básicos sobre lógica proposicional y tablas de verdad, pero casi no utilizan medios informáticos para construirlas y no sienten necesidad de usar generadores 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. GENERAL
Facilitar el conocimiento a los estudiantes a cerca de las
tablas de verdades utilizando el software AnallogicA.
ESPECÍFICOS
• Determinar el nivel de conocimiento de los
estudiantes de la PUCESE respecto a la lógica proposicional y
las tablas de verdad.
• Demostrar la frecuencia de uso de la TICs en el
empleo de las tablas de verdad.
• Comprobar cuál es frecuencia con la que se utiliza
los generadores de tablas de verdad.
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.
Tales máquinas son capaces no sólo de modificar el
conocimiento existente, sino también de obtener
conclusiones nuevas.
Ayona, E. M. (s.f.). Monografías.com. Obtenido de
http://www.monografias.com/trabajos16/calculo-proposicional/calculo-
proposicional.shtml
5. TABLAS DE VERDAD
Tablas de verdad o tabla de valores de verdad, es una
tabla que muestra el valor de verdad de una proposición
compuesta, para cada combinación de valores de verdad
que se pueda asignar a sus componentes.
Monografias.com. (s.f.). Obtenido de
http://www.ecured.cu/index.php/Tablas_de_la_verdad
6. TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA
• Tautología: se dice de la proposición que es cierta para todo
valor de verdad de sus variables, por ejemplo:
¬ (¬ p)↔p
• Contradicciones: se dice de la proposición que siempre resulta
falsa sea cual fuere el valor de verdad de sus variables, por
ejemplo: p ^ ¬ p
• Contingencia: Se entiende por verdad contingente, o verdad de
hecho, aquella proposición que puede ser verdadera o falsa,
(combinación entre tautología y contradicción) según los
valores de las proposiciones que la integran.
Para saber si una proposición pudiera ser una tautología o una
falacia, desarrollamos su tabla de la verdad.
Giménez, A. D. (s.f.). Monografias.com. Obtenido de
http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-
matematica.pdf
8. 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!
sp, c. (s.f.). Monografias.com. Obtenido de
http://www.monografias.com/trabajos16/calculo-proposicional/calculo-
proposicional.shtml
9. Barra de título
Barra de
menú
Barra de función
Tabla resultante
Descripción
de la tabla
Barra de operadores
10. • 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.
12.
13.
14. 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, no se encuentra la
necesidad de emplear generadores de tablas de
verdad.