Logik:Klausuren/28.02.2001/A.9 Aufgabe

1. Aufgabenstellung

Für Freddy gelten die folgenden vier Aussagen: Wenn er ein Vogel ist $ (v)\; $, dann kann er fliegen $ (f\; $). Wenn er ein Pinguin ist $ (p)\; $, dann kann er nicht fliegen $ (\neg f )\; $. Wenn er ein Pinguin ist $ (p)\; $, dann ist er ein Vogel $ (v)\; $. Freddy ist tatsächlich ein Pinguin $ (p)\; $.

a) Formalisieren Sie diese vier Aussagen mit Hilfe der Aussagenlogik. Verwenden Sie dazu die angegebenen aussagenlogischen Variablen.

b) Weisen Sie nach, dass aus den gegebenen vier Aussagen die Aussage $ f \and \neg f\; $ (Freddy kann und kann nicht folgt.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 28.02.2001