Prädikatenlogik |
27.01.2014, 16:16 | tom75 | Auf diesen Beitrag antworten » | ||
Prädikatenlogik man soll einen Satz in eine Prädikatenlogische Formel fassen. "Jeder Drache ist glücklich, wenn alle seine Kinder fliegen können." Universum: Menge aller Drachen Prädikate: ki(x,y): x ist Kind von y fl(x): x kann fliegen gl(x): x ist glücklich Die offizielle Lösung lautet: Meine Idee war eine andere: Wäre das auch eine richtige Lösung? Und wenn nicht, warum? Viele Grüße Tom |
||||
28.01.2014, 17:14 | weisbrot | Auf diesen Beitrag antworten » | ||
RE: Prädikatenlogik deine aussage würde bedeuten "alle drachen sind glücklich, wenn alle drachen ihre kinder sind und fliegen können". ist hoffentlich klar warum das nicht äquivalent zur angegebenen lösung sein kann. lg |
||||
28.01.2014, 18:30 | tom75 | Auf diesen Beitrag antworten » | ||
RE: Prädikatenlogik
Mir ist klar, warum diese Aussage nicht äquivalent zur ursprünglichen ist, aber mir ist noch nicht 100% klar, warum die Formel diesen Satz ergibt, den du geschrieben hast. Nochmal die Formel: Man liest diese Formel dann so? Nur wenn für alle vorhandenen Drachen x und alle vorhandenen Drachen y gilt ki(y,x) = 1 und fl(y) = 1, dann folgt für alle Drachen x gl(x)=1 ? D.h. sobald es einen Drachen y gibt, der z.B. kein Kind von x ist, sind automatisch alle Drachen x unglücklich? |
||||
29.01.2014, 21:49 | weisbrot | Auf diesen Beitrag antworten » | ||
RE: Prädikatenlogik ok, also wie ich es gesagt habe ist es eigentlich die formel ist aber äquivalent zu deiner.
nein, wenn A => B, dann muss noch lange nicht -A => -B. lg |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|