【简答题】
自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“$xF(f(x,x),g(x,x))”的真值:[填空1]
【判断题】
设 Ri 是 X 上的二元关系, 对于 x∈X 定义集合Ri(x)={y|xRiy}. 如果 X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R2={|x, y∈Xùy-1y+2},则R2(-1) ={ -2, -1}.
【判断题】
{2,22,32,43,33,44,4}是集合 A={2, 3, 4}上的小于等于关系。
【判断题】
公式“x$y(F(x, y) ù G(y, z)) ú $xH(x, y, z)”中的全称量词x的辖域为:$y(F(x, y) ù G(y, z)) 。
【判断题】
设函数f: S?R, S=[0, +∞), f(x)=1/(x+1),则它是单射不是满射。
【多选题】
设前提: p?q. 则下面哪些是其有效结论:
【多选题】
在全总个体域下,用一阶逻辑将命题“在北京卖菜的人不全是外地人”符号化不正确的有:
①
?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 是外地人.
【多选题】
用等值演算法推导公式“(pù?q) ú (qù?p)”和下面哪个公式等价:
【多选题】
在全总个体域下,用一阶逻辑将命题“凡是汽车就比火车慢,这是不对的”符号化,下面正确的有
①
?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 慢.