Erste Stufe Logik (FOL) - Formalisierung |
|
Meine Frage:
Die Aufgabe ist im Anhang.
Meine Ideen:
A = für alle
E = es existiert
~ = Negation
Hier sind meine Ansätze, allerdings bin ich noch nicht so ganz sicher:
a)
1. Ax (problem(x) -> (Ey (solution(x,y)))
2. ~Ex (problem(x) -> (Ay (human(y) -> knows (y,x)))
3. Ax (human(x) -> (Ey (problem(y) & knows (x,y)) -> (Az(solution(y,z) & ~knows(x,z)))))
b) "Jeder, der alle Lösungen auf ein Problem kennt, ist kein Mensch." oder ggf. auch "Kein Mensch kennt für alle Lösungen ein Problem."
Gerade bei a)3. und b) bin ich noch ziemlich unsicher.
Besten Dank
Xya hat dieses Bild (verkleinerte Version) angehängt:
|