Hola, espero me puedas ayudar: en la siguiente demostración formal de validez tengo la duda de si al final puedo hacer eso, aplicar de esa forma la doble negación. Espero puedas responderme, gracias. 1. ( P ⊃ ∼ Q ) ^ (S ⊃ T) 2. ( ∼ Q ⊃ R) ^ ( T ⊃ ∼ U) 3. (R ⊃ ∼ W) ^ (∼ U ⊃ X ) 4. P /∴ ∼ W v ∼∼ X 5. (P ⊃ ∼ Q) 1 x Simp. 6. ∼ Q 5,4 x M.P. 7. ∼ Q v T 6. x Ad. 8. R v ∼U 2,7 x D.C. 9. ∼ W v X 3,8 x D.C. 10. ∼ W v ∼∼X 9 x D.N.
Hola, espero me puedas ayudar: en la siguiente demostración formal de validez tengo la duda de si al final puedo hacer eso, aplicar de esa forma la doble negación. Espero puedas responderme, gracias.
1. ( P ⊃ ∼ Q ) ^ (S ⊃ T)
2. ( ∼ Q ⊃ R) ^ ( T ⊃ ∼ U)
3. (R ⊃ ∼ W) ^ (∼ U ⊃ X )
4. P /∴ ∼ W v ∼∼ X
5. (P ⊃ ∼ Q) 1 x Simp.
6. ∼ Q 5,4 x M.P.
7. ∼ Q v T 6. x Ad.
8. R v ∼U 2,7 x D.C.
9. ∼ W v X 3,8 x D.C.
10. ∼ W v ∼∼X 9 x D.N.
me puedes compartir ese archivo pdf para estudiar porfavor?