令F(x):x是实数,G(x):x是有理数。命题“实数不全是有理数”的符号化形式为

令F(x):x是实数,G(x):x是有理数。命题“实数不全是有理数”的符号化形式为
A、∀x(F(x)→G(x))
B、∀x(F(x)⋀G(x))
C、¬∀x(F(x)→G(x))
D、¬∀x(F(x)⋀G(x))
【正确答案】：C