西安电子科技大学S2.2.2量词的辖域软件学院【例题】说明以下谓词公式中变元的性质及受约束的量词。(1) (Vx)(P(β) → Q(×)√量词的辖域x是约束变元(2) (V)(P(β) →(三y) R(x,y)日量词的辖域y是约束变元量词的辖域x是约束变元西安电子科技大学 §2.2.2 量词的辖域 软件学院 【例题】说明以下谓词公式中变元的性质及受约束的量词。 （1）(∀x)(P(x) → Q(x)) （2）(∀x)(P(x) →(∃y) R(x,y)) ∀量词的辖域 x是约束变元 ∀量词的辖域 ∃量词的辖域 y是约束变元 x是约束变元