\( \neg ( \exist x \forall y , A(x,y) \rightarrow B(x,y) ) \)
\( = \forall x \neg ( \forall y , ( \neg A(x,y) \lor B(x,y) ) ) \)
\( = \forall x \exist y , \neg ( \neg A(x,y) \lor B(x,y) ) \)
\( = \forall x \exist y , ( A(x,y) \land \neg B(x,y) ) \)
Für alle x gibt es ein y, so dass A(x,y) aber nicht B(x,y) gelten.