200611_1718_Tarea_1_Esmeralda Mendieta

Esmeralda Mendieta Tutor: Yimmer Camilo Vargas Curso: Pensamiento Logico y

Matematico Código: 200611_1718

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PERIODO ACADEMICO: 16-04 PSICOLOGIA
2020
Introducción

En este trabajo veremos el desarrollo de los deferentes ejercicios de proposiciones, lenguaje

simbólico y expresión simbólica apoyados en recursos bibliográficos, web conference y guía
del tutor, y comprobadas en tablas de la verdad.
Objetivos

Identificar proposiciones simples y compuestas.

Conocer los deferentes conectores.

Desarrollar cada uno de los ejercicios previamente seleccionados.

Ejercicio 1: Proposiciones y tablas de verdad

p: El 2020 fue un año atípico para todo el mundo q:

El COVID19 afecto gran parte de la economía
r: El COVID19 nos hizo reinventar en muchos campos de acción

(𝑝∨𝑟)∧(𝑝↔𝑞)

• Escriba la proposición compuesta propuesta en lenguaje natural:

“El 2020 fue un año atípico para todo el mundo, o el COVID19 nos hizo reinventar
en muchos campos de acción. El 2020 fue un año atípico para todo el mundo sí y
sólo si el COVID19 afectó gran parte de la economía”
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o contradicción.

p q r (p∨r) (p↔q) (p∨r)^(p↔q)

V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V F F
F V F F F F
F F V V V V
F F F F V F

Se clasifica como: Contingencia.

• Generar la tabla de verdad a través del simulador Lógica UNAD

 Link video
https://youtu.be/Md7nzDV_MIY

Ejercicio 2: Identificación de las reglas de la inferencia lógica

• Nombrar la ley de inferencia que representa cada expresión simbólica:

“MODUS PONENDO PONENS (PP)”

• Definir las proposiciones simples. r: ella está en el cine

s: ella está viendo una película

• Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico:
“Si ella está en el cine entonces ella está viendo una película. Ella está en el cine.
Por tanto, ella está viendo una película.”
 • Nombrar la ley de inferencia que representa cada expresión simbólica:
“MODUS TOLLENDO TELLENS (TT)”
• Definir las proposiciones simples.
p: hace calor
q: las flores se marchitan

• Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico:
“Sí hace calor, entonces las flores se marchitan. Las flores no se marchitan. Por
tanto, no hace calor”

• Nombrar la ley de inferencia que representa cada expresión simbólica:

“SILOGISMO HIPOTÈTICO (SH)”

• Definir las proposiciones simples.

p: el carro azul choca q:
el carro negro se mueve
r: el carro blanco pierde el control

• Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico:
“Sí el carro azul choca con el carro azul entonces el carro azul se mueve. Sí el carro
negro se mueve hacia el carro blanco entonces el carro blanco pierde el control. Por
tanto, Si el carro azul choca con el carro blanco, el carro negro pierde el control”

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al gimnasio.

 • Conclusión: Rafael tiene un cuerpo tonificado

• Ley de inferencia aplicada: Modus Ponendo Ponens (PP)

• Lenguaje simbólico:

Ejercicio 4: Problemas de aplicación

• Definir las proposiciones simples p: el cielo está nublado q: es un día soleado

r: debería salir sin paraguas

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

“Sí el cielo está nublado, entonces no debería salir sin paraguas. Sí no es un día
soleado, el cielo está nublado. El cielo está nublado y no es un día soleado. Por lo
tanto, no debería salir sin paraguas sí el cielo está nublado”.

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

• Generar la tabla de verdad a través del simulador Lógica UNAD

• Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

{(𝒑→¬𝒓)∧(¬𝒒→𝒑)∧(𝒑∧¬𝒒)}→(𝒑∧¬𝒓)

P1: 𝒑→¬𝒓
P2: ¬𝒒→𝒑
P3:𝒑∧¬𝒒
Conclusión: 𝒑∧¬𝒓

P4: p (aplicando ley de simplificación (S) en P3)

𝑝∧¬𝑞

∴𝑝

P5: ¬𝒓 (aplicando ley de Modus Ponendo Ponens (PP) en P1 y P4)

𝑝→¬𝒓 𝑝

∴ ¬𝒓
 P6: 𝒑∧¬𝒓 (aplicando ley de adjunción en P4 y P5) = Conclusión
𝑝 ¬𝒓

∴ 𝑝∧¬𝒓

Conclusiones

Identifiqué cada una de las proposiciones simples y construí las compuestas reconociendo
los conectores, generando las tablas de verdad para comprobar resultados.
 Bibliografia

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

(pp. 9 - 31). Ediciones Elizcom, Madrid. Recuperado de
https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=12
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.
Córdoba, AR: El Cid Editor. (pp. 40-49). Recuperado de
https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59
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
https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 2837).
México, D.F, Larousse - Grupo Editorial Patria. Recuperado de
https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39
Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de
http://hdl.handle.net/10596/13871
Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado de
http://hdl.handle.net/10596/13869
OVA – Unidad 1
Castaño, C. (2019). Leyes de la inferencia. Recuperado de:
https://repository.unad.edu.co/handle/10596/31590