Erste Stufe Logik (FOL) - Formalisierung |
11.06.2017, 11:40 | 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 |
|
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |