Interdipendenza tra quantificatori logici

Negazione esistenziale: $\neg \exists xP(x)\equiv \forall x\neg P(x)$ Negazione universale: $\neg \forall xP(x)\equiv \exists x\neg P(x)$

---