已知表达式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]
发布时间：2025-10-06 13:27:10
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 题搜搜 官方老师解答 )
答案：P[x,f(y),B]s1= P[z,f(w),B]; P[x,f(y),B]s2= P[q(z),f(A),B]
相关试题
- 1.已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ）
- 2.(∃z)(∀y){(∃x)P(x,y,z)∨(∃q)(∀w)(∃e)Q(q,w,e,z)} 在消去存在量词后，正确的为( )。
- 3.x=3,y=4,z=5,执行以下语句if(x>z)[x=y;y=z;z=x;] else [x=z;z=y;y=x;] x=__y= __z= __。
- 4.设 z = f(u, v)，u = φ(x, y)，v = ψ(x, y)，则∂z/∂x = （ ）
- 5.(3) f(x, y,z)= ry y = l,x y z= 0.
- 6.X Y Z W P R
-
7.(x<=y<=z)D (x<=y)&(y
- 8.在l0℃A、X >Y>ZB、Z>Y>XC、X>Z>YD、Y>X>Z
- 9.Vx(7E(x,o)> ( y(E(y, g(x))A ze(z, g(x))> E(y, z))
- 10.10.设函数z=g(x,y)由方程(x y)=xy确定,则x
