Testexam 1 Aufgabe 5 b)

sb98dero
Neuling
Neuling
Beiträge: 9
Registriert: 4. Jul 2013 16:06

Testexam 1 Aufgabe 5 b)

Beitrag 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

Zurück zu „Archiv“