Forma logica

[luca1235]

Buongiorno a tutti, non riesco a risolvere questo esercizio che spesso mi capita di trovare.
Sia P incluso in N dove N è l'insieme di numeri pari e sia D incluso N l'insieme dei numeri dispari scrivere la seguente frase in forma logica :
"Ogni numero pari è somma di due numeri dispari"
Scrivete la sua negazione.
Dite se la frase o la sua negazione sono vere.


Che la somma di due numeri dispari sia un numero pari è vero, la negazione non è vera visto che non è possibile che la somma di due numeri dispari dia un numero dispari.
Rimango perplesso però sulla formalizzazione.
Grazie per l'aiuto.

[Richard_Dedekind]

Be', formalmente possiamo scrivere così:
[tex]\forall z\in P\,\,\exists p,q\in D : z =p+q[/tex]
se [tex]P[/tex] è l'insieme dei numeri pari e [tex]D[/tex] l'insieme dei numeri dispari.