Testexam 1 Aufgabe 5 b)
Verfasst: 3. Apr 2014 14:08
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
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
