Tarea 1

PROPOSICIONES Y TABLAS DE VERDAD

Fabián Andrés Lozano Ortiz

Código: 1102359360

No. De grupo 200611_557

Tutor

Herman Leonardo Hincapié

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS SOCIALES, Y ARTES HUMANIDADES
PENSAMIENTO LÓGICO MATEMÁTICO

FECHA: 20/09/2019
 2

Introducción

El siguiente trabajo fue realizado con el objetivo de conocer los conceptos fundamentales de

la lógica proposicional y aplicarlos para la solución de problemas de cuantificadores,

proposiciones y tablas de verdad.

 3

Objetivos

Identificar que son las proposiciones y las tablas de verdad

Definir cuando una proposición es tautología, contradicción y contingencia

 4

Ejercicio 1: Conceptualización de Cuantificadores.

Cuantificador Universal Negativo.
Link de prezi
https://prezi.com/p/9zpudcmrpxfw/unidad-1_andreslozano/#present
 5

Ejercicio 2: Proposiciones y Tablas de verdad

El arcoíris se forma con muchos colores si solo si el agua de lluvia interactúa con los
rayos de la luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con
muchos colores.
P: El arcoíris se forma con muchos colores
Q: El agua de lluvia interactúa con los rayos de la luz solar
R: Si el sol está detrás de las nubes
S: El arcoíris no se forma con muchos colores
(p↔q) v (r⟶s)
p q r s (p↔q) v (r⟶s )
v v v v v
v v v f v
v v f v v
v v f f v
v f v v v
v f v f f
v f f v v
v f f f v
f v v v v
f v v f f
f v f v v
f v f f v
f f v v v
f f v f v
f f f v v
f f f f v

Tabla de verdad manualmente 2 x 2 x2 x 2=16

p q r s (p↔q) (r⟶s ) (p↔q) v (r⟶s )
v v v v v V v
v v v f v f v
v v f v v v v
v v f f v v v
v f v v f v v
v f v f f f f
v f f v f v v
v f f f f v v
f v v v f v v
f v v f f f f
 6

f v f v f v v
f v f f f v v
f f v v v v v
f f v f v f v
f f f v v v v
f f f f v v v

Resultado de la tabla de verdad: contingencias

 Simulador lógica UNAD.

 7

Ejercicio 3: Problemas de aplicación

Andrés quiere ser el mejor deportista entonces para lograrlo como sano y entrena fuerte en
las mañanas para no perder su rendimiento y en las noches descansa bien.

P= Andrés quiere ser el mejor deportista

Q= para lograrlo como sano
R= entrena fuerte en las mañanas para no perder su rendimiento
S= en las noches descansa bien

( p →q ) ∧ ( r ⋀ s )
2 x 2 x 2 x2 =16

p q r s ( p →q ) (r ⋀ s ) ( p →q ) ∧ ( r ⋀ s )
v v v v v v v
v v v f v f f
v v f v v f f
v v f f v f f
 8

v f v v f v f
v f v f f f f
v f f v f f f
v f f f f f f
f v v v v v v
f v v f v f f
f v f v v f f
f v f f v f f
f f v v v v v
f f v f v f f
f f f v v f f
f f f f v f f

Resultado de la tabla de verdad: contingencias

 Simulador lógica UNAD.
 9

Conclusiones

 El trabajo desarrollado se logro identificar y comprender los elementos fundamentales

en la lógica proposicional y la forma para resolver problemas con las tablas de verdad.

 De esta forma se logra entender el manejo de las tablas de verdad, donde nos muestra

el valor de verdad de una proposición.

 10

Referencias

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España:

Editorial Tébar Flores. Recuperado

de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?

ppg=20&docID=3226457&tm=1529246259924

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

9-28). Ediciones Elizcom, Madrid. Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=12&docID=3199701&tm=1529335849013

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp.

106-112). Ediciones Elizcom, Madrid. Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=109&docID=3199701&tm=1529510366591