利用换名规则及代入规则对下列公式进行换名及代入 （1）∀x( P(x)→R(x,y))∧L(x,y) （2）∀x( H(x,y)→∃y(W(y) ∧ L(x,y,z)))
举一反三
- 对公式∀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,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)
- 对公式∃xF(x)∧G(x,y)利用换名规则,则下面公式中正确的是( )。 A: ∃zF(z)∧G(x,y) B: ∃xF(z)∧G(x,y) C: ∃zF(x)∧G(z,y) D: ∃zF(x)∧G(x,y)
- 对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的自由变元进行代入，则表示为： (∀x)(P(z)∧R(x,y))→(∃y)Q(y)