Informatiker Board | Druckvorschau: Aussage in prädikatenlogische Formel bringen

Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Aussage in prädikatenlogische Formel bringen (http://www.informatikerboard.de/board/thread.php?threadid=1800)

Geschrieben von tom75 am 28.01.2014 um 15:29:

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]$

Meine Idee war eine andere:

$[latex]\forall x \forall y(ki(y,x)\wedge fl(y)\Rightarrow gl(x))[/latex]$

Wäre das auch eine richtige Lösung? Und wenn nicht, warum?

Viele Grüße
Tom