0 Daumen
344 Aufrufe

Gegeben seien die folgenden Prädikate:
• Libori(y): y befindet sich auf dem Liborifest.
• Stand(y): y ist ein Verkaufsstand.
• Person(y): y ist eine Person.
• Produkt(y): y ist ein Produkt.
• AnbieterVon(y, z): x bietet z an.
• KaeuferVon(y, z, c): y kauft z an c ein.
• Findet(y, z): y findet z.
Formalisieren Sie die folgenden umgangssprachlichen Aussagen mit Hilfe prädikatenlogischer Formeln. Nutzen Sie dazu die oben aufgeführten Prädikate.
1. Es befinden sich mehrere Personen auf dem Liborifest.
2. Auf dem Liborifest wird an jedem Stand Glühwein angeboten.
3. Es gibt Besucher auf dem Liborifest, die an einem Stand alles kaufen, was angeboten
wird.
4. Wenn Hans einen Stand auf dem Liborifest findet, an dem Glühwein angeboten wird,
so wird er dort Glühwein kaufen.
5. Jeder Besucher findet auf dem Liborifest einen Stand, der ein Produkt anbietet,
welches dieser Besucher dort kauft.
6. Sollte es einen Stand geben, der Aachener Printen oder Dresdner Christstollen
anbietet, dann befindet sich dieser Stand nicht auf dem Liborifest.
7. Es gibt ein Paar von Besuchern, die an jedem Stand auf dem Liborifest, niemals das
gleiche Produkt gekauft haben.


Habe generelle Schwierigkeiten die Aufgabe zu verstehen. Wäre nett wenn mir jemand helfen könnte zumindest die ersten Beispiele zu erläutern :)

Avatar von

1 Antwort

0 Daumen

Kann es sein, dass das sowas ist ?


1. Es befinden sich mehrere Personen auf dem Liborifest.

∃x ∃y  (x≠y) ∧ Libori(x) ∧ Libori(y)


2. Auf dem Liborifest wird an jedem Stand Glühwein angeboten.

∀x    (Stand(x) ==>  Anbieter( x, Glühwein) )

Avatar von 287 k 🚀

Hätte für 2. selbst das hier raus:

∀x∃y((Stand(x) ∧ Libori(x)) -> Glühwein(y) ∧ AnbieterVon(x,y))

aber bin mir auch extrem unsicher deswegen frage ich

Also gibt es auch ein Prädikat    Glühwein(y).

Dann könnte deine Formalisierung schon stimmen.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community