Desarrollos de los ejercicios A:

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

(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞).

 Proposición compuesta en un lenguaje natural.

El 2020 fue un año atípico para todo el mundo, o el COVID19 afecto gran parte de la
economía, y el COVID 19 si solo si nos hizo reinventar en muchos campos de acción.

 Tabla a través del simulador Lógica UNAD

  Tabla de Verdad, Manualmente

p q r (p V r) (p q) (pVr) (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 determinó que el resultado es de Contingencia, porque, varían los resultados finales eje: V

V,V,F,F,F,F,V,F.

EJERCICIO 2: Identificación de las reglas de la inferencia Lógica

 Expresión simbólica

r s p q p q
 r q q r

s p p r

Modus ponens Modus Tollens Sologismo hipotetico

(pp) (TT) (SH)

 Proposiciones simples

p: Juan es un alumno de la institución Francisco Sáenz

q: Juan es muy responsable con sus tareas
r: Juan cursa el grado once.
s: Juan se gana una beca

Lenguaje Natural:

Modus ponens (pp)

Juan cursa el grado once entonces Juan se gana una beca. Juan cursa el grado once. Juan se
gana una beca.

Modus Tollens
Juan es un alumno de la institución Francisco Sáenz entonces juan es responsable con sus
tareas, Juan no es responsable con sus tareas juan no es alumno de la institución educativa
fráncico Sáenz.

Sologismo hipotetico:
Juan es un alumno de la institución educativa Francisco Sáenz entonces Juan es muy responsable con
las tareas. Juan es muy responsable con las tareas si juan cursa el grado once, juan es un alumno de la
institución educativa Francisco Sáenz entonces juan cursa el grado once.

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: Tiene un cuerpo tonificado.

Ley de inferencia aplicada: Modus ponens (pp)

Lenguaje simbólico:

p q
p
q

EJERCICIO 4: Problemas de la Aplicación.

Expresión simbólica: {(𝑝 → ¬𝑟) ∧ (¬𝑞 → 𝑝) ∧ (𝑝 ∧ ¬𝑞)} → (𝑝 ∧ ¬𝑟)

Premisas:
P1: p→ ¬r
P2: ¬𝑞 → p
P3: 𝑝 ∧ ¬q
Conclusión: p∧ ¬r

Proposiciones simples:

P: María estudia medicina en la Universidad del Tolima

q: María está cursando el último semestre de estudio.
r: La universidad del Tolima es Publica

Lenguaje Natural:

María estudia medicina en la universidad del Tolima entonces la universidad del Tolima no es
publica y maría no está cursando el último semestre de estudio entonces maría estudia
medicina en la universidad del Tolima y maría si estudia en la universidad del Tolima y maría
no está cursando el último semestre de estudio. Entonces maría estudia medicina en la
universidad del Tolima y la universidad del Tolima no es pública.

Tabla de verdad Simulador UNAD

Demostración de la
validez del argumento mediante las Leyes de Inferencia:

Premisas:

P1: → ¬r
P2: ¬𝑞 → p
P3: 𝑝 ∧ ¬q