Si, luego de que vi la solución me di cuenta de que podría haber "cortado" el proceso en la regla de introducción del implica (la que concluye ¬a -> ¬b)
Nuevamente gracias por las correcciones.
Saludos.
Si, luego de que vi la solución me di cuenta de que podría haber "cortado" el proceso en la regla de introducción del implica (la que concluye ¬a -> ¬b)
Nuevamente gracias por las correcciones.
Saludos.