下列公式中存在变元 x 是自由变元的为
A: ∃xP(x)→∀xQ(x)
B: ∃x∀yC(x,y)∨﹁P(x)→∀x﹁Q(x)
C: ∀xQ(x,y)∧ ∃xA(x,y)
D: ∀xR(x,y)∧∃x(P(x,y)∧Q(x))
A: ∃xP(x)→∀xQ(x)
B: ∃x∀yC(x,y)∨﹁P(x)→∀x﹁Q(x)
C: ∀xQ(x,y)∧ ∃xA(x,y)
D: ∀xR(x,y)∧∃x(P(x,y)∧Q(x))
举一反三
- 下列公式中变元y是自由变元的是（ )。 A: ∃y(∀xP(x,y)→R(x,y)) B: ∀xQ(x)∧∀y∃xA(y,x) C: ∃xP(y)∨∀xQ(x,y) D: ∀yC(x,y)∧∀x﹁Q(x)
- 谓词公式∀xP(x)→∀xQ(x)∨∃yR(y)的前束范式为 A: ∀x∀z∃y(P(x)→Q(z) ∨ R( y)) B: ∃x∀z∃y(P(x)→Q(z) ∨ R( y)) C: ∀x∃y(P(x)→Q(x) ∨ R( y)) D: ∃x∀y(P(x)→Q(x) ∨ R( y))
- 请问谓词公式中(∀x)(P(x，y)→Q(x，y))∨R(x，y)的自由变元有哪几个？ A: P(x，y)中的x B: R(x，y)中的x C: Q(x，y)中的x D: P(x，y)中的y
- 下面的命题公式中,不存在自由变元的是()。 A: (P→Q(x))→R B: ∀x(P(x)∧Q(x))→R(y) C: (P(x)∨Q(y))→R(y) D: ∀x(P(x)→Q(x)∧R(x))
- 在谓词公式(x)(P(x,y)→Q(x,z))∨(x)R(x,z)中y是自由变元