Logik:Klausuren/28.02.2001/A.9 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
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.
