成人高等教育 / 离散数学（上）
设个体域 D={a,b,c}, 消去谓词“
x
y(F(x) 
G(y))”中的量词后的形式为：
- A、
(F(a)
F(b) F(c)) (G(a) 
G(b) G(c))； - B、
(F(a)
F(b) F(c)) (G(a) G(b) G(c)) - C、
(F(a)
F(b) F(c)) 
(G(a) G(b) G(c)) - D、
(F(a)
F(b) F(c)) (G(a) G(b) G(c))
参考答案：
佳题速递：