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

>> 成人高等教育 / 离散数学（上）

成人高等教育 / 离散数学（上）

正确率：100%

设个体域 D={a,b,c}, 消去谓词“ $\forall$ x $\exists$ y(F(x) $\wedge$ 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))

积分

离散数学（上）

参考答案：

点击查看答案

佳题速递：

Have the plants _ _ _ _ _ _ yet? 大学英语（2）

大脑左半球是抽象思维和言语优势的半球，而大脑右半球则是形象思维和空间知觉优势的半球。(A) 对 (B) 错小学儿童心理学

用等值演算法判断公式“(pq) (pr)”的类型: 离散数学（上）

This passage provides us with _ _ _ _ _ _ _ .新发展英语综合教程（二）

At least how many tests were carried out by the scientists referred to in this passage?新发展英语综合教程（二）

民族自治地方的国家机关都是自治机关。 (A)对(B)错[参考答案：B] 分值：4得分：分系统自动批改于2020年12月26日 23点47分宪法学