Informatiker Board | formale Sprachen | Formalisieren von Sätze in Prädikatenlogik

Informatiker Board » Themengebiete » Theoretische Informatik » formale Sprachen » Formalisieren von Sätze in Prädikatenlogik » 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

leroxxx

Formalisieren von Sätze in Prädikatenlogik

Hallo,

kann mir jemand helfen beim Formalisieren der Sätze in Prädikatenlogik? Eigentlich ist das ja glaube ich kein so schweres Thema aber ich habe so meine Probleme damit ob ich immer alle Teilaussagen "erwähne" und sie richtig verbinde.

1. Every rock band has a guitar player.
2. If anything is green, then A is also green while C is not.
3. If I am on a diet, I don't eat any food that contains sugar.
4. A is abovee C, D is on E and above F, and if something is on F, then so is G.
5. Only fast cars are allowed on some highways.
6. A formula is logically valid if it is true in every interpretation.

Vielen Dank vorab! smile

Die Lösungen die ich bisher so gedacht haben sehen wie folgt aus:

leroxxx hat diese Bilder (verkleinerte Versionen) angehängt: