Hallo zusammen!
Also, ich muss in einer Aufgabe eine vollständig formale Beschreibung zweier Zustände einer Welt in Prädikatenlogik abfassen (s. Anhang-1).
Durch den Text i.d. Aufgabe bin ich mir allerdings nicht sicher, ob ich die Lösung nicht zu konkret verfasst habe bzw. ob dies noch allgemeiner möglich, oder eher gesagt gewollt ist.
Was meint ihr?
http://img594.imageshack.us/i/73206274.jpg/
Folgende Lösungen habe ich nun raus:
http://img863.imageshack.us/i/12528390.jpg/
http://img839.imageshack.us/i/91688700.jpg/
Für Hilfe wäre ich überaus dankbar!!!