前束范式 \forall x \forall y \exists z \exis…

前束范式 $\forall x \forall y \exists z \exists u Q(x, y, z, u)$∀x∀y∃z∃uQ(x,y,z,u) 的 Skolem 标准形（归结法用的、只含全称量词的那一种）是（　）