El presente anexo tiene como finalidad brindar una guía para la solución

de los ejercicios de la tarea 1.

Se recomienda revisar el paso a paso de cada uno de los ejercicios aquí

descritos y aplique correctamente lo leído y lo aprendido del material de
apoyo para el desarrollo de la unidad 1.

Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el desarrollo

del ejercicio 1:

➢ Proposiciones simples
p: Gabriel García Márquez escribió 100 años de soledad
q: Gabriel García Márquez ganó el premio nobel de
literatura
r: Gabriel García Márquez es el mejor escritor colombiano

➢ Lenguaje simbólico
(𝒑 → 𝒒) ∧ (∼ 𝒒 → ∼ 𝒓)

➢ Lenguaje Natural

Si Gabriel García Márquez escribió 100 años de soledad

entonces Gabriel García Márquez ganó el premio nobel de
literatura y si Gabriel García Márquez no ganó el premio nobel
de literatura entonces Gabriel García Márquez no es el mejor
escritor colombiano.
 ➢ Tabla manual
𝒑 𝒒 𝒓 ∼𝒒 ∼𝒓 𝒑 →𝒒 ∼ 𝒒 → ∼ 𝒓 (𝒑 → 𝒒) ∧ (∼ 𝒒 → ∼𝒓)

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

➢ Se clasifica como: Contingencia.

➢ Tabla de verdad Simulador UNAD

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

➢ Expresión simbólica
¬r→¬s
¬r
¬s

➢ Ley de inferencia de la expresión: Modus Ponendo Ponens

(MPP)

➢ Proposiciones simples:

r: Luisa aprobó el curso de cálculo diferencial

s: Luisa será promovida al siguiente semestre

➢ Lenguaje Natural:
Si Luisa no aprobó el curso de cálculo diferencial entonces Luisa
no será promovida al siguiente semestre. Luisa no aprobó el curso
de cálculo diferencial. Por lo tanto, Luisa no será promovida al
siguiente semestre.

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

➢ Argumento: Si Gabriela viaja a Europa entonces Gabriela conocerá

muchas culturas. Gabriela viaja a Europa.

➢ Lenguaje simbólico:

r: Gabriela viaja a Europa

s: Gabriela conocerá muchas culturas

r→s
r
s
➢ Ley de inferencia aplicada: Modus Ponendo Ponens (pp)

➢ Conclusión: Gabriela conocerá muchas culturas

Ejercicio 4: Problemas de aplicación

➢ Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Premisas:
P1: 𝑝 →¬q
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

➢ Proposiciones simples:

p: Carlos estudia en las noches

q: Carlos maneja su tiempo
r: Carlos se atrasa en las actividades

➢ Lenguaje Natural:
Si Carlos estudia en las noches entonces Carlos no maneja su
tiempo. Carlos maneja su tiempo o Carlos no se atrasa en las
actividades. Carlos se atrasa en las actividades. Por lo tanto, Carlos
no estudia en las noches.
➢ Tabla de verdad manual
➢ Tabla de verdad Simulador UNAD

➢ Demostración de la validez del argumento mediante las

Leyes de Inferencia:
P1: 𝑝 →¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟

𝑞 ∨ ¬𝑟
𝑟
𝑞

P4: 𝑞 ………… Modus Tollendo Ponens entre P2 y P3

𝑝 →¬ 𝑞
𝑞
¬𝑝

P5: ¬𝑝 ……… Modus Tollendo Tollens entre P1 y P4

 Resumen reglas de Inferencia

Modus Ponendo Ponens (PP)

𝑝→𝑞
𝑝
∴𝑞

Modus Tollendo Tollens (TT)

𝑝→𝑞

~𝑞
∴ ~𝑝

Silogismo Hipotético (SH)

𝑝→𝑞
𝑞→𝑟
∴𝑝→𝑟

Doble Negación (DN)

~(~𝑝)
∴𝑝

Simplificación (S)
𝑝∧𝑞
∴𝑝

𝑝∧𝑞
∴𝑞
Adjunción (A)
𝑝
𝑞
∴𝑝∧𝑞

Silogismo disyuntivo (DS)

𝑝∨𝑞
𝑝→𝑟
𝑞→𝑠
∴𝑟∨𝑠

Simplificación disyuntiva (SD)

𝑝∨𝑞
𝑝→𝑟
𝑞→𝑟
∴𝑟

Modus Tollendo Ponens (MTP)

𝑝∨𝑞

~𝑞
∴𝑝

Ley de la Adición (LA)

𝑝

𝑝∨𝑞