Cálculo Proposicional y Predicados
Tema:
Software para la generación de tablas de verdad.
• Cedeño Panezo Marlon
• Munoz Toala Irina
• Pianchiche De la Cruz Wilmer
• Sacón Carranza Kevin
• Sánchez Maila Menghy
GENERAL
Facilitar el conocimiento a los estudiantes a cerca de las
tablas de verdades utilizando el software AnallogicA.
E...
La capacidad de hacer deducciones lógicas fue considerada
durante mucho tiempo como una posibilidad reservada a la
mente h...
TABLAS DE VERDAD
Tablas de verdad o tabla de valores de verdad, es una
tabla que muestra el valor de verdad de una proposi...
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA
• Tautología: se dice de la proposición que es cierta para todo
valor de verdad d...
EJEMPLO DE TABLA DE VERDAD
Es una herramienta de lógica proposicional diseñada para
generar tablas lógicas y tablas de la verdad.
El programa admite ...
Barra de título
Barra de
menú
Barra de función
Tabla resultante
Descripción
de la tabla
Barra de operadores
• Tamaño: 3 MB.
• Lenguajes: Español
• Tipo de programa: Freeware
• Sistemas Operativos en los que funciona : win 95, w98,...
 En la actualidad la mayoría de estudiantes
universitarios tienen conocimientos (medios) en lo
referente a la lógica prop...
BIBLIOGRAFÍA
 http://www.monografias.com/trabajos16/calculo-
proposicional/calculo-proposicional.shtml
 http://www.monog...
Software para la generación de tablas de verdad 1.0
Software para la generación de tablas de verdad 1.0
Software para la generación de tablas de verdad 1.0
Próxima SlideShare
Cargando en…5
×

Software para la generación de tablas de verdad 1.0

2.484 visualizaciones

Publicado el

0 comentarios
0 recomendaciones
Estadísticas
Notas
  • Sé el primero en comentar

  • Sé el primero en recomendar esto

Sin descargas
Visualizaciones
Visualizaciones totales
2.484
En SlideShare
0
De insertados
0
Número de insertados
26
Acciones
Compartido
0
Descargas
12
Comentarios
0
Recomendaciones
0
Insertados 0
No insertados

No hay notas en la diapositiva.

Software para la generación de tablas de verdad 1.0

  1. 1. Cálculo Proposicional y Predicados Tema: Software para la generación de tablas de verdad.
  2. 2. • Cedeño Panezo Marlon • Munoz Toala Irina • Pianchiche De la Cruz Wilmer • Sacón Carranza Kevin • Sánchez Maila Menghy
  3. 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. 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. 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. 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
  7. 7. EJEMPLO DE TABLA DE VERDAD
  8. 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. 9. Barra de título Barra de menú Barra de función Tabla resultante Descripción de la tabla Barra de operadores
  10. 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. 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, no se encuentra la necesidad de emplear generadores de tablas de verdad.
  12. 12. BIBLIOGRAFÍA  http://www.monografias.com/trabajos16/calculo- proposicional/calculo-proposicional.shtml  http://www.monografias.com/trabajos-pdf3/logica- matematica/logica-matematica.pdf  http://www.ecured.cu/index.php/Tablas_de_la_verdad  http://www.monografias.com/trabajos16/calculo- proposicional/calculo-proposicional.shtml  Video Explicativo: https://www.youtube.com/watch?v=pwJK- 4Op438

×