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

分类: 离散数学(02324) 发布时间: 2024-08-03 23:43 浏览量: 4
令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