Buenas,
Estoy realizando este ejercicio y no entendí bien cual sería el teorema a probarse. Tengo planteado todas las reglas como hipótesis. ¿El teorema sería que el OR de las hipótesis implica False?
Hola Daniel.
Si tenés planteadas las reglas como hipótesis asi:
Hypothesis R1: ~escoces->mediasRojas.
---
Hypothesis R6: escoces -> kilt.
El teorema a probar es directamente False:
Theorem ningunoCumple: False.
R1 y las otras reglas son hipótesis a usar en la prueba.
Otra forma de expresar el teorema, sin usar "Hypothesis", podría ser:
Theorem ningunoCumple: R1 -> ... -> R6 -> False. O equivalentemente:
Theorem ningunoCumple: R1 /\ ... /\ R6 -> False. Notar que no es un "or" sino un "and" de las hipótesis (reglas).
Saludos, Carlos