Ejercicio 3: Problemas de aplicación (B)

Expresión simbólica: [(𝑝∨𝑞) ∧ (𝑠⟶∼𝑟) ∧ (𝑟) ∧ (∼𝑠⟶∼𝑞)]⟶(𝑝)

Premisas:
P1: (𝑝∨𝑞)
P2: (𝑠⟶∼𝑟)
P3: (𝑟)
P4: (∼𝑠⟶∼𝑞)
Conclusión: (𝑝)

A partir de la expresión simbólica seleccionada, el estudiante deberá:

• Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico:

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. [(𝑝∨𝑞)

∧ (𝑠⟶∼𝑟) ∧ (𝑟) ∧ (∼𝑠⟶∼𝑞)]⟶(𝑝)

p. Fernando está sano.

q. Tiene síntomas de contagio.

s. Tuvo contacto con un paciente contagiado

r. Debe salir de casa.

“Si Fernando está sano o tiene síntomas de contagio y ha estado en contacto con un
paciente contagiado entonces Fernando no debe salir de casa. Y si Fernando sale de casa y
no ha estado en contacto con un contagiado, entonces él no tiene síntomas de contagio.
Entonces Fernando está sano “.

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
 • Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual.

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

𝑝∨𝑞 ∼𝑟 𝑠⟶∼𝑟 𝑝∨𝑞 ∧ 𝑠⟶∼𝑟 𝑝∨𝑞 ∧ 𝑠⟶∼𝑟 ∧ 𝑟 ∼ ∼𝑞 ∼𝑠⟶∼𝑞 𝑝∨𝑞 ∧ 𝑠⟶∼𝑟 ∧ 𝑟 ∧ ∼𝑠⟶∼𝑞 𝑝∨𝑞 ∧ 𝑠⟶∼𝑟 ∧ 𝑟 ∧ ∼𝑠⟶∼𝑞 ⟶ 𝑝

p q r s( ) ( ) ( ) ( ) ( ) [( ) ( ) ( ) ( S) ( ) ( ) [( ) ( ) ( ) ( )] [( ) ( ) ( ) ( )] ( )
V V VV V F F F F F F V F V
V V VF V F V V V V F F F V
V V FV V V V V F F F V F V
V V FF V V V V F V F F F V
V F VV V F F F F F V V F V
V F VF V F V V V V V V V V
V F FV V V V V F F V V F V
V F FF V V V V F V V V F V
F V VV V F F F F F F V F V
F V VF V F V V V V F F F V
F V FV V V V V F F F V F V
F V FF V V V V F V F V F V
F F VV F F F F F F V V F V
F F VF F F V F F V V V F V
F F FV F V V F F F V V F V
F F FF F V V F F V V V F V
Al realizar las dos tablas vemos que ambas nos demuestran una tautología, ya que la
conclusión es verdadera en todos sus datos.

Premisas:
P1: (𝑝 ∨ 𝑞)
P2: (𝑠⟶∼𝑟)
P3: (𝑟)
P4: (∼𝑠⟶∼𝑞)
Conclusión: (𝑝)
P4: p Simplificación en 1

P5: ∼r Ponendo ponens en 2

P6: q Simplificación en 1

P7: ∼𝑠 Tollendo Tollens en 4