sidney_bl escribió:No, la explicación de Franchuzas no es lo que dices tú, porque de lo contrario él mismo no validaría lo que le expongo más adelante en ese hilo.
Tú estás diciendo que la línea en la que Link muere es puramente hipotética. Pero hasta ahora que sepamos no es así: hay tres líneas reales, nadie ha dicho nada de que una de ellas sea hipotética.
Pero a ver, ¿ya no enseñan lógica formal en el colegio? Lo dice implicitamente en su desarrollo, y debajo de su explicación el primer comentario dice lo de la linea hipotetica.
Nadie ha dicho que las tres lineas sean reales, y como esto no tiene sentido, lo que me tienes que desmentir es que una de ellas sea hipotética, ya que entra en conflicto con las otras 2.
Volviendo a la lógica formal:
A=Link gana
B=Ganon mata a Link
Si gana link entonces ganon no mata a link
Si A --> ¬B
Y Link gana(porque gana que yo lo he jugado)
Y A
Ganon no mata a Link
¬B
Y si por el contrario Ganon mata a Link
Y B
(aplicando doble negación)
Entonces Link no puede matar a Ganon
¬A
Ahora todo junto:
Si A -->¬B
A
¬B
Si A-->¬B
¬¬B=B
¬A
La lógica formal me da la razón, nada puede ir en contra de la lógica formal, ya que es perfecta.