成人高等教育 / 计算机应用基础
设个体域 D={a,b,c}, 消去谓词“
xy(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)).
参考答案：
佳题速递：