CUANTIFICADOR UNIVERSAL

PRESENTA
EDWIN ALARCON CARDOSO

NUMERO DE IDENTIFICACION
CC.6804231

TUTOR
HUGO LOPEZ

NUMERO DE GRUPO
200611C-614

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO MATEMATICO
INTRODUCCION
La lógica como principio fundamental de cualquier actuación humana que conlleve a
realizar o resolver situaciones exitosamente, requiere de procesos no siempre intuitivos y
tampoco aleatorios. La lógica en el ser humano se desarrolla por procesos de acumulación
de conocimiento y experiencia.
La lógica proposicional es fundamental en el desarrollo de la lógica, y se basa en la
evaluación de los enunciados o proposiciones para determinar su validez soportada en el
razonamiento y el análisis de estos.
La lógica proposicional es parte de los aportes del conocimiento, hacia la conformación de
la lógica en el hombre, desde los principios de la filosofía y las matemáticas, como ejes
consistentes de la ciencia y el conocimiento a lo largo de la evolución del hombre como ser
pensante y razonante.

OBJETIVOS
Aprender a identificar las clases de proposiciones que se puede encontrar en un enunciado.

Entender la aplicación y el efecto que tienen los términos de enlace en las proposiciones.

Analizar proposiciones en nuestro idioma para determinar su validez.

Analizar e interpretar proposiciones para simbolizarlas.

Comprender los principios de las operaciones de la lógica proposicional y sus aplicaciones

en otras áreas de la carrera.

Analizar los enunciados para la elaboración de las tablas de verdad, teniendo en cuenta los
términos de enlace.
EJERCICIO 2
El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con
los rayos de 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 iris se forma con muchos colores

q=El agua de lluvia interactúa con los rayos de luz solar

r=El sol esta detrás de las nubes

El argumento en lenguaje simbólico es:

(p<->q) v (r->~p)
𝑝 𝑞 𝑟 (p ↔ q) (~𝑝) (𝑟 → (~𝑝)) (((𝑝 ↔ 𝑞))𝑣((𝑟 → (~𝑝)))

F F F V V V V

F F V V V V V

F V F F V V V

F V V F V V V

V F F F F V V

V F V F F F F

V V F V F V V

V V V V F F V
 EJERCICIO 3
(𝑝 → 𝑞) ∧ (𝑟 ⋀ 𝑠)
Expresión lenguaje formal
P: hoy es sábado
Q: pasado mañana es lunes
R: mañana es domingo
S mañana es martes

p q r s (𝑝 → 𝑞) ∧ (𝑟 ⋀ 𝑠)

V V V V V
V V V F F
V V F V F
V V F F F
V F V V F
V F V F F
V F F V F
V F F F F
F V V V V
F V V F F
F V F V F
F V F F F
F F V V V
F F V F F
F F F V F
F F F F F
Pantallazo de las dispositivas
Conclusión
Este trabajo se desarrolló con el fin de poner en practica nuestros conocimientos lógico
matemático aplicando las preposiciones de conjuntos numéricos, y conocer más un poco y
practicar desarrollando ejercicios de proposiciones compuestas en lenguaje simbólico,
aprendiendo y recordando un poco sobre la tabla de verdades.

Bibliografía
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
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106-112).