【多选题】【消耗次数：1】
在全总个体域下，用一阶逻辑将命题“在北京卖菜的人不全是外地人”符号化不正确的有：
①
?x(G(x)), 其中, G(x): x 是外地人.
②
?x(F(x) ù?G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
③
?x(F(x) ?G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
④
$x(F(x) ? ?G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
参考答案：
复制
纠错
相关题目
【多选题】
令 F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车，令前提: x(F(x) ? ?G(x)), x(G(x) ú H(y)), $x?H(x)，则下面是其有效结论的有：
①
$x?F(x)
②
xG(x)
③
?xF(x)
④
$xG(x)
【多选题】
设: F(x):x 能表示成分数, G(x):x 为无理数, H(x)为有理数，令前提: x(G(x) ??F(x)), x(H(x) ?F(x))，则下面是其有效结论的有：
①
x(H(x) ??G(x))
②
?$x(H(x) ùG(x))
③
$x(H(x) ??G(x))
④
?x(H(x) ?G(x))
【多选题】
设: F(x):x 为有理数, G(x):x 为无理数, R(x)为实数, H(x)为虚数，令前提: x((F(x) úG(x)) ?R(x)), x(H(x) ??R(x))，则下面是其有效结论的有：
①
x(?(F(x) ú G(x)))
②
x(H(x) ? (?F(x) ù?G(x)))
③
$x(H(x) ? (?F(x) ù?G(x)))
④
x(H(x) ? ?(F(x) ú G(x)))
随机题目