企源知识库

令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
【题目解析】：先把“所有实数都是有理数”符号化为∀x(F(x)→G(x) )，然后再否定即可。