Ejercicios Unidad 4
Ejercicios Unidad 4
Ejercicios Unidad 4
Premisas:
P1: p →q
P2: q → r
P3: p ⋀ s
Conclusión: r
Desarrollo:
Proposiciones simples:
s: participo en la sustentación
Leyes de inferencia:
Premisas:
P1: p →q
P2: q → r
P3: p ⋀ s
Conclusión: r
P4: p simplificación P3
P5: q PP en P1 y P4
P6: r PP en P2 y P5