Ejercicio 4: Problemas de aplicación

 Expresión simbólica:
[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟

Premisas:
P1: 𝑟 → ¬𝑞
P2: 𝑝 ∨ 𝑠
P3: 𝑞 ∧ 𝑝
Conclusión: ¬𝑟

Desarrollo
 Proposiciones simples:

r: Miguel practica el fútbol

q: David practica la música
p: Sara toca un instrumento
s: Luis canta vallenato

 Razonamiento en lenguaje natural:

Si miguel practica el futbol entonces David no practica la música. Sara toca un instrumento
o Luis canta vallenato. David practica la música y sara toca un instrumento. Por lo tanto,
miguel no practica el futbol.
 Simulador lógica UNAD
  Tabla de verdad manual
p Q R s ~𝑞 (𝑟 ⟶ ~𝑞) (𝑝 ∨ 𝑠) (𝑞 ∧ 𝑝) [(𝑟 → ¬𝑞) ¬𝑟 [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)]
∧ (𝑝 ∨ 𝑠) → ¬𝑟
∧ (𝑞 ∧ 𝑝)]
V V V V F F V V F F V

V V V F F F V V F F V

V V F V F V V V V V V

V V F F F V V V V V V

V F V V V V V F F F V

V F V F V V V F F F V

V F F V V V V F F V V

V F F F V V V F F V V

F V V V F F V F F F V

F V V F F F F F F F V

F V F V F V V F F V V

F V F F F V F F F V V

F F V V V V V F F F V

F F V F V V F F F F V

F F F V V V V F F V V

F F F F V V F F F V V

RESULTADO: TAUTOLOGIA
  Demostración mediante inferencia lógica
Variables proporcionales:

r: Miguel practica el fútbol

q: David practica la música
p: Sara toca un instrumento
s: Luis canta vallenato

Traducción lógica:
1: 𝑟 → ¬𝑞
2: 𝑝 ∨ 𝑠
3: 𝑞 ∧ 𝑝
Conclusión: ¬𝑟

Aplicando leyes de inferencia:

1: 𝑟 → ¬𝑞
2: 𝑝 ∨ 𝑠
3: 𝑞 ∧ 𝑝
Conclusión: ¬𝑟
4: ¬𝑟 DC 1,2,3 (Dilema Constructivo)