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