Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Matematica Brayan
Logica Matematica Brayan
Ejercicio 3 (B)
Ejercicio 4(B)
a. Expresión simbólica:
[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)
Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑞 ⟶∼ 𝑟
P3: ¬𝑟 → 𝑠
P4: ∼ 𝑝
P5: 𝑠 ⟶ 𝑟
Conclusión: 𝑟