tom75
unregistriert
 |
|
| Aussage in prädikatenlogische Formel bringen |
     |
Hallo,
man soll den folgenden 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:
![[latex]\forall x(\forall y(ki(y,x)\Rightarrow fl(y))\Rightarrow gl(x))[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\forall x(\forall y(ki(y,x)\Rightarrow fl(y))\Rightarrow gl(x)))
Meine Idee war eine andere:
![[latex]\forall x \forall y(ki(y,x)\wedge fl(y)\Rightarrow gl(x))[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\forall x \forall y(ki(y,x)\wedge fl(y)\Rightarrow gl(x)))
Wäre das auch eine richtige Lösung? Und wenn nicht, warum?
Viele Grüße
Tom
|
|
28.01.2014 15:29 |
|
|
