(“u)(P(u)∧Q(u，z))Þ($x)R(x，z)