中国大学MOOC: 已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ）
举一反三
- 已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ） A: P[x,f(y),B]s1= P[z/x,f(w/y),B] B: P[x,f(y),B]s2= P[q(z),A,B] C: P[x,f(y),B]s1= P[z,f(w),B] D: P[x,f(y),B]s2= P[q(z),f(A),B]
- 对公式∀x∀y(P(x,y)∨Q(x,z))∧∃xP(x,y)使用代入和换名规则后得到的公式为( )。 A: ∀u∀y(P(u,y)∨Q(u,z))∧∃wP(w,s) B: ∀x∀u(P(x,u)∨Q(x,z))∧∃xP(x,y) C: ∀x∀y(P(x,y)∨Q(x,u))∧∃xP(x,s) D: ∀x∀y(P(x,y)∨Q(x,z))∧∃uP(u,z)
- 中国大学MOOC: 若w=1，x=2，y=3，z=4，则条件表达式x<x?w:y<z?w:y的结果为
- 公式("x) ($y)(P(x，z)→Q(y))→S(x，y)中的约束变元进行换名，正确的是 A: ("x) ($y) (P(x，u)→Q(y))→S(x，y) B: ("x) ($v)(P(u，z)→Q(v))→S(u，v) C: ("u) ($v) (P(u，z)→Q(v))→S(x，y) D: ("u) ($v)(P(u，t)→Q(v))→S(u，v)
- 集合A={x,y,z,w}的划分S={{x}, {y,z}, {w}}，则由划分S所导出的A上的等价关系 R={＜x,x＞,＜x,y＞,＜y,x＞, ＜y,y＞,＜z,z＞,＜w,w＞}。（ ）