成人高等教育 / 离散数学（上）
正确率：100%
在全总个体域下，用一阶逻辑将命题“在北京卖菜的人不全是外地人”符号化为
- A、
x(G(x)),其中, G(x): x 是外地人. - B、 x(F(x)
G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人. - C、 x(F(x)
G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人. - D、
x(F(x) 
G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
参考答案：