Hola,
Quería preguntar si es posible hacer la demostración por abusrdo. Es decir, asumir que Theta es consecuencia lógica de Gamma y llegar a una contradicción.
En la solución se demustra de forma directa.
Yo lo que hice fue asumir que Theta es consecuencia lógica de Gamma, Luego por completitud de PRED tengo que Gamma deriva Theta y not Theta, aplicando reglas de derivación llego a que se puede derivar Bottom, lo que indicaría que el conjunto Gamma es inconsistente, que contradice la hipótesis.
Es esto correcto?
Saludos