成人高等教育 / 离散数学（上）
正确率：100%
在全总个体域下，用一阶逻辑将命题“乌鸦都是黑色的”符号化为
- A、
x(F(x)), 其中, F(x): x 乌鸦是黑色的. - B、
x(F(x)), 其中, F(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 是黑色的.
参考答案：
佳题速递：