vielleicht kann mir hier ja jemand helfen:
Ich muss eine Prädikatenlogische Formel:
$$G=\exists y\forall x F(x,y)$$
in die Skolemform bringen:
$$G'=\forall x F_{[y/z]}(x,z)$$
Dann soll ich dafür ein Modell finden, und nachweisen das es ein Modell für G und G' ist. Hier habe ich meine Probleme. Ich weiß nicht wie man ein Modell dafür findet.