Erste Stufe Logik (FOL) - Formalisierung

Neue Frage »

Auf diesen Beitrag antworten »
Xya 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
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »