成人高等教育 / 计算机应用基础
正确率: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 是外地人.
参考答案:
佳题速递: