Escolar Documentos
Profissional Documentos
Cultura Documentos
Expresión simbólica:
[(∼𝑝⟶∼r)∧(s⟶∼q) ∧(s∧r)]⟶∼q
Conclusión: (∼q)
Desarrollo:
P1: (∼𝑝⟶∼r)
P2: (s⟶∼q)
P3: (s˄r)
Conclusión: (∼q)
P4: s Simplificacion (3)
P5: ∼q MPP en 2 y 4