Ejercicio 3: Problemas de aplicación

Expresión simbólica:

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

Determinación de Premisas: (De acuerdo a la expresión

simbólica divida el argumento en premisas de forma vertical y
deben ser numeradas).

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

Desarrollo:

 Proposiciones simples: (se define cada proposición simple

del argumento, siempre en afirmativo y con letras en
minúscula).

p: Voy en carro
q: Llegare a tiempo
r: No salgo temprano
s: Entrare a clases

 Razonamiento en lenguaje natural: (A partir de las

proposiciones simples anteriores y el lenguaje simbólico
dado en el ejercicio, se construye la expresión en lenguaje
formal o natural)

Si voy en el carro, llegare a tiempo, si no salgo temprano, entonces entrare

a clases pero si voy en carro y si no y si no salgo temprano entonces no
 entrare clases pero si voy en el carro y si salgo temprano por lo tanto llagare
temprano y entre a clases.

 Generar la tabla de verdad manualmente:

Tabla de la verdad
p q r s (p→q) (⌐r→s) (pv⌐r) [(p→q) ˄ (⌐r→s) ˄(pv⌐r)] → (qvs) [(p→q) ˄ (⌐r→s) ˄(pv⌐r)] → (qvs)
v v v v v v v v v v v
v v v f v f v f v v v
v v f v v v v v v v v
v v f f v v v v v v v
v f v v f v v f f v v
v f v f f f v f f f v
v f f v f v v f f v v
v f f f f v v f f f v
f v v v v v v v v v v
f v v f v f v f v v v
f v f v v v f v f v v
f v f f v v f v f v v
f f v v v v v v v v v
f f v f v f v f v f v
f f f v v v f v f v v
f f f f v v f v f f v

 Es una tautología

p Q r S [(p→q) ˄ (⌐r→s) ˄(pv⌐r)] → (qvs)

v v v v v
v v v f v
v v f v v
v v f f v
v f v v v
v f v f v
v f f v v
v f f f v
f v v v v
f v v f v
f v f v v
f v f f v
f f v v v
f f v f v
f f f v v
f f f f v

 Generar la tabla de verdad con el simulador Lógica UNAD

leyes de inferencia:
1. (𝑝⟶𝑞)
2. (∼𝑟⟶𝑠)
3. (𝑝∨∼𝑟)
Conclusión: (𝑞∨𝑠)
4. p en mtt en 2.
5. q pp en 1 y 4.
6. s mtp en 3
7. r mmt en 2 y 7
8 q v s C. en 5 y 6