Nächste Seite: Aufgabe 44 Vorige Seite: Aufgabe 42

Aufgabe 43

Gegeben sei die Formel

Gebe ein minimales Modell für F an.

Gebe ein Modell für F an, dessen Universum (Interpretationsbereich) ebenso wie die darauf definierte Interpretation nicht minimal sind.

Gebe eine Interpretation für F an, die kein Modell ist.