那么在这个解释下，($x)(“y)(“z)F(f(y，z)，x)为真