Ejercicio 3 Unidad 3

PROBLEMAS DE APLICACIÓN
D)
Expresión simbólica: [(𝒑 → 𝒒) ∧ (𝒓 → 𝒔) ∧ (𝒑 ∧ 𝒕)] → 𝒒
Premisas:
P1: 𝒑 → 𝒒
P2:(𝒓 → 𝒔)
P3: 𝒑 ∧ 𝒕
Conclusión 𝒒

SOLUCION:

Premisas simples

P: David aprobó todas las materias

Q: Se gradúa de bachiller

R: No perdió el grado

S: Pasó matemáticas

T: pasó las evaluaciones

Razonamiento en lenguaje natural

Si David aprobó todas las materias entonces se gradúa de bachiller. Si no perdió el grado
entonces paso matemáticas. David aprobó todas las materias y pasó las evaluaciones,
por lo tanto se gradúa de bachiller.
Tabla de verdad
Simulador truth table

Leyes de inferencia:

P1: 𝒑 → 𝒒
P2:(𝒓 → 𝒔)
P3: 𝒑 ∧ 𝒕
*SIMPLIFICACION (3) 𝒑 ∧ 𝒕
P4: p

*MPP (1),(4) 𝒑 → 𝒒
p
P5: q  CONCLUSION