Wie funktioniert diese Aufgabe? Prädikatenlogik

Question

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 :)

Answer 1

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) )

Comments

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.