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