设个体域 D={a,b,c}, 消去谓词“xy(F(x) G(y))”中的量词后的形式为：

设个体域 D={a,b,c}, 消去谓词“ $\forall$ x $\forall$ y(F(x) $\vee$ G(y))”中的量词后的形式为：

A、
(F(a) $\wedge$ F(b)) $\wedge$ F(c)) $\wedge$ (G(a) $\vee$ G(b) $\vee$ G(c))；
B、
(F(a) $\wedge$ F(b) $\wedge$ F(c)) $\vee$ (G(a) $\wedge$ G(b) $\wedge$ G(c))
C、
(F(a) $\wedge$ F(b) $\wedge$ F(c)) $\mapsto$ (G(a) $\wedge$ G(b) $\wedge$ G(c))；
D、
(F(a) $\wedge$ F(b) $\wedge$ F(c)) $\wedge$ (G(a) $\wedge$ G(b) $\wedge$ G(c)).

积分

离散数学（上）

参考答案：

点击查看答案

佳题速递：

初等数论