\neg (x>0\wedge \exists x)<=>(x\leq 0\vee \neg \exists x)