Hola, me surgió la siguiente duda:
Si yo llego a cierta conclusión A en una derivación, puedo introducir luego el entonces para decir B -> A por más que no haya usado B como hipótesis?
Hola
Exactamente como decís.
No hay obligación de usar las hipótesis.
Las hipótesis, ya sean supuestos (introducidos por las reglas) o premisas (indicadas como hipótesis del problema) se deben manejar de la misma forma:
- Si las necesito las uso, pero si no las necesito, no hay problema.
- Si son supuestos y los usé, los cancelo.
Saludos
FDO.