Ejercicio 4: Problemas de aplicación

B.

 Expresión simbólica: [(p→q) ∧ (p∨r) ∧ (~r∧~q)]→q

Premisas:

P1: (p→q)

P2: (p ∨ r)

P3: (~r∧~q)

Conclusión: q

 Preposiciones simples:
p: los estudiantes de la UNAD presentan actividades en tiempo solicitado
q: aprueban el curso
r: Cumplen con sus obligaciones del curso

 Lenguaje natural:
Si los estudiantes de la UNAD presentan actividades a tiempo entonces aprobaran el
curso, pero los estudiantes de la UNAD presentan actividades a tiempo o cumplen con sus
obligaciones del curso y si no aprueban el curso entonces no cumplen con sus obligaciones
del curso por lo tanto no aprobarán el curso.
 Tabla de verdad manual:

p q r ~q ~r p→q p∨r ~r∧~q (p→q) ∧ (p∨r) ∧ (~r∧~q) ((p→q) ∧ (p∨r) ∧ (~r∧~q)) →q

v v v f f v v f f v

v v f f v v v f f v

v f v v f f v f f v

v f f v v f v v f v

f v v f f v v f f v

f v f f v v f f f v

f f v v f v v f f v

f f f v v v f v f v

 Tabla de verdad simulador UNAD:

 Demostración de la validez del argumento mediante las leyes de inferencia:

P1: (p→q)
P2: (p ∨ r)
P3: (~r∧~q)