Formalisieren von Sätze in Prädikatenlogik

Neue Frage »

Auf diesen Beitrag antworten »
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:
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »