Dimostrazione di una doppia implicazione

Raagazzi ancora una volta devo richiedere il vostro aiuto perché non so veramente più dove sbattere la testa!
Chi mi spiega passo per passo come risolvere questo esercizio?

Non mi sa aiutare nessuno?
Domani dovrei consegnare la serie, ma questo esercizio proprio non lo so fare!

Che cosa vuoi dimostrare? E' la definizione di negazione: si invertono i quantificatori e si nega la proprieta'.
A parole: dire che non e' vero che che per ogni x esinte un y che verificano la proprieta' A e' banalmente equivalente ad affermare che esiste un x per il quale per ogni y non si veifica la proprieta' A.
Per snellire l'espressione ho omesso gli insiemi a cui devono appartenere x e y.

Platone