---

Geschrieben von leroxxx am 11.06.2017 um 12:40:

  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!

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