Es correcta la siguiente derivación?
Consulto porque me queda la hipotésis not b sin cancelar (el cual es introducido por la segunda regla RAA,de abajo hacia arriba)
Parcial Integrador 2020 - Ejercicio 3.a)
Número de respuestas: 2
En respuesta a Marcelo Leonardo Torterolo Retta
Re: Parcial Integrador 2020 - Ejercicio 3.a)
Buenas:
La derivación es correcta, pero puede hacerse un poco más simple.
En las soluciones publicadas podés ver una versión más simple.
Con respecto a las hipótesis que se cancelan hay que recordar que no es necesario que esas hipótesis
aparezcan efectivamente en el árbol. En tu caso no aparece la hipótesis ¬b.
En la solución publicada no aparecen las hipótesis ¬a y a.
En respuesta a Guillermo Calderon - InCo
Re: Parcial Integrador 2020 - Ejercicio 3.a)
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.