Seite 1 von 1

Testexam 1 Aufgabe 5 b)

Verfasst: 3. Apr 2014 14:08
von sb98dero
Hallo,

Wir sind uns etwas unschlüssig wie man nochmal genau ein Modell angibt für eine FOL.

In Aufgabe 5b ist uns klar wieso die FOL-Aussage nicht gilt.

Kann mir jemand mal eine formale Lösung (Gegenbeispiel) dazu aufschreiben?

Danke!

MfG

PS: Viel Erfolg noch beim lernen ;)


PSS: Hat sich erledigt, haben eben erst gesehen, dass es Lösungen zu den Testexamen gibt :D