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