Modell für Prädikatenlogische Formel

Question

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.

Answer 1

Wie wäre es mit eine Graphen, der \(F\) als Kantenrelation hat? Hilft das alleine schon?