【多选题】
设个体域 D={a,b,c}, 消去谓词“xF(x) ?yG(y)”中的量词后的形式,下面不正确的有:
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c));
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c));
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
【多选题】
在全总个体域下,用一阶逻辑将命题“火车都比轮船快”符号化不正确的有:
①
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),则下面是其有效结论的有: