| Snexx_IT |
Prädikatenlogik
Gegeben sei der unbeschränkte Individuenbereich M aller Kekse und Kuchen, sowie folgende Prädikate:
![[latex]\cdot[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\cdot) Keks(x) („x ist ein Keks“)
Kuchen(x) („x ist ein Kuchen“)
Lecker(x) („x ist lecker“)
Vollkorn(x) („x enthält Vollkornmehl“)
Weizen(x) („x enthält Weizenmehl“)
Zucker(x) („x enthält Zucker“)
Zimt(x) („x enthält Zimt“)
Leckerer(x,y) („x ist leckerer als y“)
a) Formulieren Sie unter Verwendung der oben aufgeführten Prädikate die folgenden Aussagen:
•Es gibt keinen leckeren Vollkornkuchen.
•Es gibt leckere Vollkornkekse.
•Jeder Keks aus Weizenmehl, Zimt und Zucker ist lecker.
•Ein Kuchen ist kein Keks und ein Keks ist kein Kuchen.
•Jeder nicht-leckere Keks enthält kein Weizenmehl oder keinen Zucker.
•Ein leckeres Gebäck ist immer leckerer als ein nicht-leckeres Gebäck.
•Zu jedem leckeren Gebäck gibt es ein Gebäck, das noch leckerer ist.
•Es gibt Kekse, die Vollkornmehl oder keinen Zimt enthalten und sich von einem Kuchen geschmacklich übertreffen lassen.
b) Formulieren Sie unter Verwendung der oben aufgeführten Prädikate die folgenden Prädikate:
•Ungesund(x) („x ist ungesund“): x enthält Zucker und kein Vollkornmehl.
•Gleichlecker(x,y) („x ist genau so lecker wie y“)
Ich habe die Prädikatenlogik iwie so garnicht verstanden.
Wäre nett, wenn jemand vielleicht 1 oder 2 Teilaufgaben "vorrechnen" könnte, so dass ich dann versuche fortzuführen, so dass alles am Ende stimmig ist.
LG
Snexx_IT |
