【多选题】
在全总个体域下,用一阶逻辑将命题“凡是汽车就比火车慢,这是不对的”符号化,下面正确的有
①
?xy(F(x) ùG(y) ?H(x,y)), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
②
$x$y(F(x) ùG(y) ù?H(x,y) ), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
③
?x (F(x) ?y (G(y) ?H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
④
$x$y(F(x) ùG(y) ??H(x,y) ), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.