(\exists x)\neg P(x)