0 Daumen
618 Aufrufe

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.

Avatar von

1 Antwort

+1 Daumen

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

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community