在全总个体域下，用一阶逻辑将命题“不存在比所有火车都快的汽车”符号化，下面不正确的为

正确率：100%

A、
$\neg \exists$ x(F(x) $\wedge$ $\forall$ y(G(y) $\mapsto$ H(x,y)))，其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
B、
$\forall$ x(F(x) $\mapsto$ $\exists$ y(G(y) $\wedge \neg$ H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
C、
$\neg \exists$ x(F(x) $\wedge$ $\forall$ y(G(y) $\mapsto$ H(x,y))) 或 $\forall$ x(F(x) $\mapsto$ $\exists$ y(G(y) $\wedge \neg$ H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.
D、
$\neg \exists$ x(F(x) $\wedge$ $\forall$ y(G(y) $\wedge$ H(x,y)))其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 快.

积分

离散数学（上）

参考答案：

点击查看答案

佳题速递：