【多选题】
在全总个体域下,用一阶逻辑将命题“火车都比轮船快”符号化不正确的有:
①
xy(F(x) ùG(y) ?H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
②
xy(F(x) ùG(y) ùH(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
③
xy(F(x) ?G(y) ?H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
④
xy(F(x) ùG(y) úH(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比 y 快.
【多选题】
令 F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车,令前提: x(F(x) ? ?G(x)), x(G(x) ú H(y)), $x?H(x),则下面是其有效结论的有: