【多选题】
设: F(x):x 为有理数, G(x):x 为无理数, R(x)为实数, H(x)为虚数,令前提: x((F(x) úG(x)) ?R(x)), x(H(x) ??R(x)),则下面是其有效结论的有:
②
x(H(x) ? (?F(x) ù?G(x)))
③
$x(H(x) ? (?F(x) ù?G(x)))
④
x(H(x) ? ?(F(x) ú G(x)))
【多选题】
设: F(x):x 能表示成分数, G(x):x 为无理数, H(x)为有理数,令前提: x(G(x) ??F(x)), x(H(x) ?F(x)),则下面是其有效结论的有:
【多选题】
在全总个体域下,用一阶逻辑将命题“有的火车比有的汽车快”符号化不正确的有:
①
$x$y(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$y(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 快.