成人高等教育 / 离散数学(上)
正确率: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 是外地人.
参考答案:
佳题速递: