Uma negação da fórmula da lógica de primeira ordem "x"y(...

Uma negação da fórmula da lógica de primeira ordem "x"y(F(x)→G(y)) é

A)

B)

C)

D)

E)