Pensamiento lógico matemático

Tarea 1- Proposiciones y tablas de verdad

Presentado Por:

Maria Alejandra Fontecha Camacho

Código: 200611

Presentado a:

Juan Carlos Guerrero

Grupo: 200611_182

Universidad nacional abierta y a distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Programa: Psicología

Mayo 2019
 Introducción

En el presente trabajo los temas a desarrollar tablas de verdad muestran el valor de verdad de

una proposición  compuesta, para cada combinación, conocer los diferentes tipos de tablas de

verdad al obtener el resultado conocer cuando hay una tautología, contradicción o una

contingencia así poder definir en dicho ejercicio qué tipo de tabla es, y los cuantificadores donde

se presentan varios tipos, cuantificadores universales que se divide en cuantificador universal

negativo y afirmativo, cuantificadores existenciales, en lo que nos permite negar o afirmar una

proposición de las diferentes maneras que existen trabajando cuantificadores.

 Objetivos

 Aprender a manejar la herramienta de prezi desarrollando el ejercicio

cuantificador universal negativo.

 Generar las tablas de verdad haciendo uso del simulador de la UNAD y sabiendo

desarrollarlas manualmente.

 Identificar el resultado de las tablas de verdad y definir si se presenta una

tautología, contradicción o una contingencia.

 Diseñar proposiciones compuestas y simples con su respectivo lenguaje simbólico

 Actividad
Proposiciones y Tablas de Verdad

Ejercicio 1: Herramienta de prezi

Enlace de prezi desarrollando el tema

B: Cuantificador universal negativo

https://prezi.com/view/0nC3uDKBIM6VU4DlyFnA/

Ejercicio 2: Proposiciones y Tablas de Verdad

B: Aprender matematicas desarrolla el razonamiento logico si y solo si se posee una buena

comprension lectora y buena ortografia.

 Proposiciones Simples:

p: aprender matematicas desarrolla el razonamiento logico

q: aprender matematicas se posee una buena comprension lectora
r: aprender matematicas desarrolla buena ortografia.

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico:

p ↔ (q ᴧ r)
 Simulador Lógica UNAD:

 Resultado de la tabla de verdad: CONTINGENCIA

 Tabla de la verdad (manual):

P q R (q ᴧ r) p ↔ (q ᴧ r)

V V V V V

V V F F F

V F V F F

V F F F F

F V V V F

F V F F V

F F V F V

F F F F V
Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica:

B .( ¬ p ↔ q) ∧ ( r ∨ q)

 Definición de las proposiciones simples:

p: Jeison es perezoso para las matemáticas

q: Jeison debe presentar un examen

r: Jeison debe sacar buena nota, reprobara.

 Lenguaje natural de la expresión formal:

Jeison no es perezoso para las matemáticas si y solo si debe presentar un examen y sacar

buena nota o reprobara.

 Generar la tabla de verdad manualmente:

p q r (¬p→q) (rvq) (¬p→q) ᴧ (rvq)

¬p → Q R V q
V V V F V V V V V V

V V F F V V F V V V

V F V F V F V V F V

V F F F V F F F F F

F V V V V V V V V V

F V F V V V F V V V

F F V V F F V V F F

F F F V F F F F F F
 Resultado de la tabla de verdad: CONTINGENCIA

 Generar la tabla de verdad con el simulador Lógica UNAD

 Conclusiones

 Finalmente aprendí de qué modo, se deben utilizar las tablas de verdad y de igual manera

los cuantificadores, de qué manera se deben realizar las preposiciones compuestas y

simples con su respectivo lenguaje simbólico.

 En conclusión cualquier persona, puede realizar esta actividad contando con el tiempo

disponible, sabiendo analizar y comprender las lecturas que nos facilitan, para poder tener

una guía para la solución de todos los ejercicios que componen la actividad.

 Después de realizar la actividad completa de manera satisfactoria concluyo que hay

varios tipos de cuantificadores como lo son los cuantificadores universales y

existenciales, de igual modo al resolver las tablas de verdad existen varias maneras para

su desarrollo.
 Bibliografía

 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924
http://hdl.handle.net/10596/13871
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013