0 Daumen
209 Aufrufe


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.

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community