标签：($x)(“y)(F(x)ÞG(y))、谓词公式($x)(($y)Q(y)ÞP(x))的前束范式是()