Logik:Klausuren/28.02.2001/A.9 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

1. Aufgabenstellung[Bearbeiten]

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.

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]


zur Klausur 28.02.2001