Aussagenlogik: Beweise, dass x4 aus einer Wissensbasis folgt |
| 13.09.2015, 15:01 | Meli496 | Auf diesen Beitrag antworten » |
| Aussagenlogik: Beweise, dass x4 aus einer Wissensbasis folgt Hallo, Ich studiere Winf im 1.Semester und tu mir noch sehr schwer mit der Aussagenlogik. Beim Nacharbeiten der Aufgaben, hing ich besonderst an der nachfolgenden und hoffe, dass ihr mir dabei helfen könnt die Vorgänge zu verstehen. Dabei geht es um das (wahrscheinlich simple) Affe-Banane-Problem. Für alle, die es nicht kennen: x1 = Affe auf Stuhl x2 = Affe kann Stuhl unter Banane schieben x3 = Affe kann auf Stuhl klettern x4 = Affe kann auf Stuhl klettern Daraus folgt dann natürlich folgende Wissensbasis F: - Negation von x1 -> x2 - Negation von x1 -> x3 - x3 & x2 -> x4 - Negation von x1 Soweit klar, ist ja alles nur logisch. Die Aufgabe ist nun zu beweisen, dass x4 eine Folgerung von F ist. Und ab hier ist die wahrscheinlich simple Lösung fremd für mich. Man beweist Folgerungen ja normalerweise dadurch herauszufinden (z.B mit einer Wahrheitstafel), ob alle Modelle von F auch Modelle von x4 in dem Fall sind, doch in der Lösung wurde da komisch vorgegangen (siehe Anhang). Ich verstehe einfach nicht wie auf die einzelnen Schritte geschlossen wird und würde mich sehr über Hilfe freuen. Meine Ideen: Meine Idee zur Folgerung ist wie bereits oben beschrieben, dass man eine Wahrheitstafel aufstellt mit: (Negation x1) x2 x3 x4 x3 & x2 Und dann zum einen die Modelle der Wissensbasis F herausfindet und diese dann mit x4 vergleicht. |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
| Die Größten » |
| Die Neuesten » |
|
