(∃x)(P(x)→Q(y)∧R(z))中的约束变元为y