Aufgabe:
Das folgende Rätsel ist (in leicht abgewandelter Form) von Lewis Carroll (Autor von ”
Alice’s
Adventures in Wonderland“ und selbst Mathematiker). Wir setzen folgende funf Aussagen als ¨
wahr voraus (ob sie es in der Realität auch sind, sei dahingestellt!):
(1) Kein interessantes Gedicht ist unbeliebt bei Menschen mit gutem Geschmack (M.n.g.G.).
(2) Kein modernes Gedicht ist frei von Emotionen.
(3) Alle Gedichte von Autoren aus Frankfurt handeln von Seifenblasen.
(4) Kein emotionales Gedicht ist beliebt bei Menschen mit gutem Geschmack.
(5) Kein altertumliches Gedicht handelt von Seifenblasen. ¨
Was können Sie aus den Aussagen (1) bis (5) uber Gedichte von Autoren aus Frankfurt schluss- ¨
folgern? Formalisieren Sie dazu die Aussagen und verwenden Sie Regeln der Aussagenlogik.
Wir setzen hier voraus, dass ”
altertumlich“ die Negation von ¨”modern“
und ”frei von Emotionen“ die von ”emotional“ ist.
Hinweis: Die Lösung könnte so beginnen: Wir formalisieren zunächst. Fur Gedichte ¨ g definieren
wir die Aussage(formen)
i(g) :⇔ ”g ist interessant“, b(g) :⇔ ”g ist beliebt M.m.g.G.“, ...