$p(x,y)$, konu evreni $X\times Y$ olan iki değişkenli bir açık önerme olmak üzere
$$(\exists x\in X)(\forall y\in Y)p(x,y)\longrightarrow (\forall y\in Y)(\exists x\in X)p(x,y)$$
koşullu önermesinin bir gerektirme olduğunun formel ispatını nasıl yaparız?