成人高等教育 / 离散数学（上）
正确率：100%
在全总个体域下，用一阶逻辑将命题“有的火车比有的汽车快”符号化为
- A、
xy(F(x) 
G(y) 
H(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快. - B、 xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
- C、 xy(F(x) G(y)
H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快. - D、 xy(F(x) G(y) H(x,y)),其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.
参考答案：
佳题速递：