公式("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) (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)
举一反三
- 对公式∀x(P(x,y) →Q(x,z)) ∨∃zR(x,z)使用代入和换名规则后得到的公式为 A: ∀x(P(x,y) →Q(x,z)) ∨∃vR(x,v) B: ∀u(P(u,y) →Q(u,z)) ∨∃zR(x,z) C: ∀u(P(u,y) →Q(u,z)) ∨∃vR(x,v) D: ∀u(P(u,y) →Q(u,z)) ∨∃vR(u,v)
- 对公式∀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)
- 对公式∀x(P(x,y) →Q(x,z)) ∨∃zR(x,z)使用代入和换名规则后得到的公式正确的是（ )。 A: ∀x(P(x,y) →Q(x,z)) ∨∃zR(x,u) B: ∀u(P(u,y) →Q(x,w)) ∨∃zR(x,z) C: ∀x(P(x,y) →Q(x,z)) ∨∃wR(u,w) D: ∀x(P(u,y) →Q(u,w)) ∨∃zR(x,z)
- 与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是（ ）。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)
- 【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )