---

Geschrieben von Xya am 11.06.2017 um 11:40:

  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