No logro que me salga el ejercicio 9, ya intente todo lo que se me ocurrio. Alguna recomendacion que me pueda ayudar?
No logro visualizar como lo demostraria sin tirar reglas una atras de la otra. Se que dijeron que no hagamos esto pero...
Variable NM:Prop. (* Base de datos Normalizada*)
Variable RED:Prop. (* Presenta Redundancia de Informacion*)
Variable CONS:Prop. (* Es Consistente*)
Variable UTIL:Prop. (* Es Util*)
Hypothesis H1 : ~NM \/ ~RED.
Hypothesis H2 : CONS \/ ~UTIL.
Theorem ej9 : NM /\ UTIL -> CONS /\ ~RED.
Esta bien planteado el problema por lo menos?
Saludos