\matrix{ &(\forall x) P(x) \cr
 \hbox{\qquad} &(\exists x) \neg P(x)\cr}