Ejercicio 3: Problemas de aplicación

Expresión simbólica:

c. Expresión simbólica: [(p → ¬r) ∧ (q → p) ∧ (r ∧ q)] → (r ∨ q)

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: (p → ¬r)
P2: (q → p)
P3: (r ∧ q)

Conclusión: (r ∨ q)

Desarrollo:

 Proposiciones simples: (se define cada proposición simple del argumento, siempre en
afirmativo y con letras en minúscula).
p: estudio en el Sena

q: homólogo en la UNAD

r: estudio a distancia

 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 estudio en el Sena entonces no estudio a distancia. Si homólogo en la UNAD entonces

estudio en el Sena. Si estudio a distancia y homólogo en la UNAD. Por lo tanto, estudio a
distancia o estudio en el Sena.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual)
p q r ¬r p→¬r q→p (r ∧ q) (p → ¬r) ∧ (q → p) (r ∨ q) [(p → ¬r) ∧ (q → p) ∧ (r ∧ q)] → (r ∨ q)
(q → p) ∧ (r ∧ q)
V V V F F V V F V V V

V V F V V V F V F V V

V F V F F F F V F V V

V F F V V F F F F F V

F V V F V V V V V V V

F V F V V V F V F V V

F F V F V V F V F V V

F F F V V V F V F F V

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD
  Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Premisas

 P1: (p → ¬r)
 P2: (q → p)
 P3: (r ∧ q)

Conclusión: (r ∨ q)

P4: (r ∨ q) Contraria (2)