Usuario:Gwenmarley/ejercicio3
Ir a la navegación
Ir a la búsqueda
A. 3. Demostrar: P
(1) ¬P → ¬Q (premisa) (2) Q (premisa) (3) P (modus tollens 1,2)
A. 3. Demostrar: P
(1) ¬P → ¬Q (premisa) (2) Q (premisa) (3) P (modus tollens 1,2)