Ritorno a scrivere su questo forum dopo tanto tempo..
pur non avendo chiarissimo l'enunciato, credo che la negazione possa essere questa:
$EE a$ $|$ $(P(a)$ $^^$ $not (a in {x|P(x)})$ $vv$ $(a in {x|P(x)}$ $^^$ $not P(a))$
mickey
________
Istruitevi, perchè avremo bisogno di tutta la nostra intelligenza. (A. Gramsci)