格林公式中，P(x,y)及Q(x,y)在D上是
举一反三
- 公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是（P(x)→R(x))∧($y)Q(x,y) 。
- 谓词公式”x（P（x）Ú $yR（y））→Q（x）中量词”x的辖域是（） A: P（x）Ú $yR（y） B: P（x） C: $yR（y） D: （P（x）Ú $yR（y））→Q（x）
- 一阶公式"∀x(P(x)∨∃yR(y))→Q(x)中量词""x的辖域是（）。 A: (P(x)∨∃yR(y)) B: P(x) C: ∀x(P(x)∨∃yR(y)) D: (P(x)∨∃R(y))→Q(x)
- 与公式("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)∨∃yR(y)))→Q(x)∧R(x)中量词∀x的辖域是 . A: P(x)∨∃yR(y) B: P(x) C: (P(x)∨∃yR(y))→Q(x) D: (∀x(P(x)∨∃yR(y)))→Q(x)∧R(x)