Cita:¿¿Se entiende que en realidad no existe lo "bueno" y lo "malo" sino es relativamente??

supuesto A:
Victimas = "los buenos" --> Nazis = "los malos"

Supuesto A:

Tengo hambre.

p.

Si negamos el supuesto A:

No tengo hambre

¬p.

Si negamos la negacion del supuesto A:

Tengo hambre

p.

Como veran, tener o no hambre es algo totalmente subjetivo. :lol:

Pero bueno, te lo voy a demostrar de otra forma, menos "posta" y mas "matematica", que lo que pensas es cualquier cosa. Hablo desde un punto de vista de Discreta, que de eso si se.

Estas diciendo cualquier cosa, estas haciendo lo mismo que sumar a ambos lados cero, y decir que estas haciendo otras cosas, no negas, sino que en el primer caso negas y volves a negar:

la negacion de p => q NO ES ¬q => ¬p.

p => q negado NO ES ¬q => ¬p.

Osea, decis que estas negando, cuando no lo haces, sino que haces cualquier otra verdura.

La negacion de p => q es la sigientente:


Si te fijas en las tablas de verdad: p => q es equivalente a ¬p OR q.

La negacion de ¬p OR q es, por demorgan: p AND ¬q.

En ningun caso, la negacion de un monocondicional da otro monocondicional. Osea, no hay un "for". Es mas, nose porque mencionas un FOR, si generalmente el for se utiliza para cuando uno sabe de antemano la cantidad de iteraciones a realizar. Para otros casos, se alienta usar otra clases de ciclos, como while.

Por lo que, tu logica, es ilogica :P

Si no se entiende, hago la tablita en la que muestro que p => q NO ES la negacion de ¬p => ¬q.


Si no entendes esto, yo me jubilo....