Explicación de como aplicar la regla de la eliminación de la disyunción.

APLICAR LA REGLA DE ELIMINACIÓN DE LA DISYUNCIÓN v Academia Virtual de Filosofía L.A.P. (Lógica, Argumentación y Pensamiento) Material docente diseñado por ADRIÁN LÓPEZ GÓMEZ © -1. Λx(Tx v Mx) ⊦Sa v (Wa^Ta) -2. Λx(Tx → Px) -3. Λx(Px→ Sx) -4. Λx(Mx→ Qx) -5.... More

APLICAR LA REGLA DE ELIMINACIÓN DE LA DISYUNCIÓN v Academia Virtual de Filosofía L.A.P. (Lógica, Argumentación y Pensamiento) Material docente diseñado por ADRIÁN LÓPEZ GÓMEZ © -1. Λx(Tx v Mx) ⊦Sa v (Wa^Ta) -2. Λx(Tx → Px) -3. Λx(Px→ Sx) -4. Λx(Mx→ Qx) -5. Λx(Qx→ Wx ^ Tx) 6. Ta v Ma EΛ1 7.Ta → Pa EΛ2 8. Pa → Sa EΛ3 9. Ma → Qa EΛ4 10. Qa → Wa ^ Ta EΛ5 ┌ 11. Ta | 12. Pa E→8,11 ┗ 13. Sa E→ 8,12 ┌ 14. Ma | 15. Qa E→ 9,14 | 16. Wa ^ Ta E→ 10,15 | 17. Ta E^16 | 18. Pa E→ 7,11 ┗ 19. Sa E→ 8,18 Less