0 Daumen
75 Aufrufe

Ich habe die Prädikatenlogik garnicht verstanden, könnte mir jemand ein Beispiel zu meinen Aufgaben zeigen bitte, oder vielleicht mir bei einer helfen?


IMG_9880.jpeg

Text erkannt:

Aufgabe A-10 (Prädikatenlogik)
(6=4+2 Punkte)

In der griechischen Mythologie wird die Welt nicht nur von Menschen, sondern auch von Göttern bevölkert. Wir betrachten hier folgende Prädikate:
- Mensch \( (x) \) („ \( x \) ist ein Mensch")
- \( \operatorname{Held}(x)(, x \) ist ein Held" \( ) \)
- \( \operatorname{Gott}(x)(, x \) ist ein Gott" \( ) \)
- verehrt \( (x, y) \) (, \( x \) verehrt \( \left.y^{*}\right) \)
- verheiratet \( (x, y)\left(, x\right. \) ist verheiratet mit \( \left.y^{\prime \prime}\right) \)
- schläftMit \( (x, y)\left(, x\right. \) schläft mit \( \left.y^{*}\right) \)
- Elternteil \( (x, y)\left(, x\right. \) ist ein Elternteil von \( \left.y^{*}\right) \)
1
a) Formulieren unter Verwendung der oben aufgeführten Prädikate diese weiteren Prädikate:
- Halbgott \( (x) \) (, \( x \) ist ein Halbgott") Halbgötter haben einen menschlichen und einen göttlichen Elternteil.
- sterblich \( (x) \) (, \( x \) ist sterblich")

Götter und Halbgötter sind nur dann sterblich, wenn sie von keinem einzigen Menschen verehrt werden. Menschen und Helden sind sterblich.
- zürnt \( (x, y) \) („x zürnt \( y^{\prime \prime} \) )

Ein Gott zürnt einem Menschen, wenn der (göttliche) Ehepartner des Gottes mit diesem Menschen schläft.
- inGefahr \( (x) \) (, \( x \) schwebt in Gefahr" \( ) \)

Ein Sterblicher schwebt in Gefahr, wenn ein Gott ihm zürnt.
Wenn Sie ein Prädikat bereits formuliert haben, können Sie es für die Formulierung von anderen verwenden.
b) Nutzen Sie die Prädikate, um folgende Aussagen zu formulieren:
- Herkules ist ein Held und hat Zeus als Elternteil.
- Zeus schläft mit allen Menschen.

Avatar vor von

1 Antwort

0 Daumen

Auf die letzte Hilfestellung gab's keine Reaktion von Dir, ich probier's trotzdem nochmal.
Es geht hier um das Hantieren mit Textbausteinen. Im Vorspann sind solche Bausteine definiert. Dazu kommt noch "es gibt ein" und "für alle ... gilt" und die logischen Verknüpfungen.

Die Umschreibungen erarbeitet man sich schrittweise - und kontrolliert durch Lesen mit eingesetzten Bausteinen, ob es sinngemäß das gleiche ist wie vorher.

Erster Schritt für erstes Beispiel:

Halbgott(x) \(\iff\) es gibt ein a mit a ist menschlicher Elternteil von x und es gibt ein b mit b ist göttlicher Elternteil von x.

Schreib das weiter um mit den Textbausteinen der Vorgabe. Tipp: Du brauchst noch weiteren "und"-Verknüpfungen.

Was erhältst Du im nächsten Schritt?

Avatar vor von

ich kriege keine Benachrichtigung vom stacklounge aber von mathelounge schon, erst jetzt sehe ich deine antworten es tut mir leid .. wie kann ich denn von beidem eine antwort bekommen?

wie kann ich denn von beidem eine antwort bekommen?

Du meinst eine Benachrichtigung bekommen? Weiß ich auch nicht. Einfach mal ab und zu nachschauen, ob was gekommen ist.

Aber Dankeschön für deine Ansätze hab mir das gestern angeguckt und jetzt besser verstanden, vielen lieben Dank

Aber Dankeschön für deine Ansätze hab mir das gestern angeguckt und jetzt besser verstanden, vielen lieben Dank

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community