在全总个体域下，用一阶逻辑将命题“凡是汽车就比火车慢，这是不对的”符号化，下面不正确的为 A、 xy(F(x) G(y) H(x,y)), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢. B、 xy(F(x) G(y) 其中, F(x): x 是汽

正确率：100%

在全总个体域下，用一阶逻辑将命题“凡是汽车就比火车慢，这是不对的”符号化，下面不正确的为

A、
$<br>eg forall$ x $forall$ y(F(x) $wedge$ G(y) $mapsto$ H(x,y)), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
B、
$exists$ x $exists$ y(F(x) $wedge$ G(y) $wedge$ $<br>eg$ 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
C、
$<br>eg forall$ x (F(x) $mapsto forall$ y (G(y) $mapsto$ H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
D、
$exists$ x $exists$ y(F(x) $wedge$ G(y) $mapsto <br>eg$ H(x,y) ), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.

积分

离散数学（上）

参考答案：

点击查看答案

佳题速递：