令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))
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。