【简答题】
公式“? (q??p) ù?p”的主合取范式为:[填空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) =[填空1]
【简答题】
自然数里,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 是外地人.