请问谓词公式中(∀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(x，y)中的x
B: R(x，y)中的x
C: Q(x，y)中的x
D: P(x，y)中的y
举一反三
- 请问谓词公式中(∀x)(P(x，y)→Q(x，y))∨R(x，y)有几个自由变元？ A: 2 B: 3 C: 4 D: 5
- 【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中，∀x的辖域为 , ∃y的辖域为 。 A. P(x); R(x, y) B. P(x)∧Q(x, A); R(x, y) C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y) D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(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))R() 中自由变元有()。 A: x B: y, C: z D: x,y,z
- 公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是（P(x)→R(x))∧($y)Q(x,y) 。