volevo chiarimenti sul significato del connettivo "se e solo se" detto anche equivalenza usato sia in definizioni (cosa significa definire con se e solo se ) sia all'interno di una dimostrazione.
e' possibile fare qualche esempio ? grazie
provo a fornire alcuni esempi per far capire dove ho dubbi.
x = y + 1 sse y = x -1 per ogni x,y Naturali.
cosa significa ?
Che comunque scelgo x,y il primo menbro e vero assieme al secondo membro ?
Non ha molto senso .
Una funzione biiettiva tale che g(a) = b equivale f(b) = a per ogni a,b ? Mi sembra poco chiara ..
grazie