Informatiker Board | Logik | Aussage in prädikatenlogische Formel bringen

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Aussage in prädikatenlogische Formel bringen » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Der letzte Beitrag

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