【单选题】谓词公式 x(P(x)∨ yR(y))→Q(x)中量词 x的辖域是()。A. x(P(x)∨ yR(y))B. P(x)C. (P(x)∨ yR(y))D. P(x),Q(x)

本题考查谓词逻辑中量词辖域的概念。关键在于理解量词的辖域是其直接作用的子公式，通常由括号确定范围。需注意量词后的括号内的所有内容均属于其辖域，而后续的逻辑连接词（如→）不影响辖域的界定。

量词辖域的定义

量词的辖域是紧跟在量词后面的逻辑公式部分。若量词后有括号，则括号内的整个表达式为辖域；若无括号，则仅作用于紧随其后的原子公式或复合公式。

分析题目结构

原式为：
$\forall x (P(x) \lor \exists y R(y)) \to Q(x)$

• 量词$\forall x$的辖域由括号$\forall x (\cdot)$内的内容决定，即$P(x) \lor \exists y R(y)$。
• 蕴含式$\to$是整个$\forall x (\cdot)$与$Q(x)$之间的连接词，不影响$\forall x$的辖域范围。
• 选项C正确，因为$\forall x$的辖域是括号内的$P(x) \lor \exists y R(y)$。