Ich soll beweisen das:
$$F= \forall x \exists y P(x,y)$$
$$G= \exists y \forall x P(x,y)$$
Für die Struktur $$A=(U_{A}, I_{A})$$ mit $$U_{A} = N$$ also die natürlichen Zahlen, alle Modelle von G auch Modelle von F sind.
Außerdem soll ich ein endliches Modell für F finden, welches für F aber nicht G gilt.