请问谓词公式中(∀x)(P(x,y)→Q(x,y))∨R(x,y)有几个自由变元?
A: 2
B: 3
C: 4
D: 5
A: 2
B: 3
C: 4
D: 5
C
举一反三
- 请问谓词公式中(∀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
- 谓词公式x(P(x,y)Q(x,z))R() 中自由变元有()。 A: x B: y, C: z D: x,y,z
- 在谓词公式(x)(P(x,y)→Q(x,z))∨(x)R(x,z)中y是自由变元
- 谓词公式(x)(P(x)→Q(x,y)(z)R(y,z)) →S(x)中变元x 。6189ddf3bf26aeeaaf3d4b222c5678c7.gifcc54e24c7778432992553c244851cb68.gif32d769f8fd8371da08be7985dd5e3440.gif
- 下面的命题公式中,不存在自由变元的是()。 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))
内容
- 0
谓词命题公式("x)(P(x)→Q(x)∨R(x,y))中的约束变元为 .
- 1
下面公式()不是谓词公式 A: P B: P(x)∨Q(y)→R(x) C: ∀P(x)∧R(x,y) D: ∀x(R(x)→P(x,y))
- 2
谓词公式∃y(∀x(P(x,y))→P(x))中y是____变元
- 3
谓词公式∀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))
- 4
对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的自由变元进行代入,则表示为: (∀x)(P(z)∧R(x,y))→(∃y)Q(y)