公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是(P(x)→R(x))∧($y)Q(x,y) 。
举一反三
- 【单选题】公式(∀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)
- 表达式∀x(P(x,y)∨Q())∧∃y(R(x,y)→∀Zq())中∀x的辖域是() A: P(x,y) B: P(x,y)∨Q(z) C: R(x,y) D: P(x,y)∧R(x,y)
- 谓词公式(∀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)
- 一阶公式"∀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)∨∃y R(y))→Q(x)中量词∀x的辖域是__________