Aussage in prädikatenlogische Formel bringen

28.01.2014, 15:29	Auf diesen Beitrag antworten »
tom75	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

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »