da alice » 23/10/2005, 23:46
<blockquote id="quote"><font size="1" face="Verdana, Arial, Helvetica" id="quote">quote:<hr height="1" noshade id="quote"><i>Originally posted by Akillez</i>
P=>Q è equivalente a (-q)=>(-p).
Guardando la definizione di funzione iniettiva ho visto che i quantificatori universali non vengono invertiti:
f:X-> Y è iniettiva se per ogni x1, x2 appartente ad X, x1 diverso da x2 => f(x1)diverso da f(x2)
o equivalentemente:
f:X-> Y è iniettiva se per ogni x1, x2 appartente ad X, f(x1)= a f(x2) => x1 = x2
<hr height="1" noshade id="quote"></font id="quote"></blockquote id="quote">
I quantificatori non vengono invertiti perché, come hai detto tu, le due affermazioni sono equvalenti, e non una la negazione dell'altra.
Ciao