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