Springe zum Inhalt oder Footer
SerloDie freie Lernplattform

Aufgaben zum Thema Aussagenlogik

  1. 1

    Bestätige durch eine Wahrheitstafel das erste Gesetz von De Morgan.

  2. 2

    Zeige, dass die Aussagen (AB)(BA)(A \rightarrow B) \land (B \rightarrow A) und ABA \leftrightarrow B äquivalent sind, und zwar indem du die Gesetze der Logik anwendest. Hinweis: Setze für ABA \rightarrow B die äquivalente Aussage ¬AB\neg A \lor B ein, wende das Distributivgesetz an, wende bei Bedarf das Kommutativgesetz an, wende das Gesetz A¬A0A \land \neg A \leftrightarrow 0 an, wende das Gesetz A0AA \lor 0 \leftrightarrow A an und erhalte schließlich (AB)(¬A¬B)(A \land B) \lor (\neg A \land \neg B). Letztere Aussage ist äquivalent zu ABA \leftrightarrow B, wie du anhand der entsprechenden Wahrheitstafel schnell siehst.

  3. 3

    Bei einem Verstoß gegen ein mathematisches Gesetz kommen drei stadtbekannte Gauner AA, BB und CC als Täter in Frage -- einer alleine oder mehrere zusammen. Der Polizei liegen zwei Aussagen vor:

    • Wenn AA unschuldig ist, ist BB schuldig.

    • Wenn BB unschuldig ist, sind sowohl AA als auch CC schuldig.

    Da die Polizei ihre Informanten kennt, weiß sie, dass die erste Aussage wahr, die zweite Aussage aber falsch ist. Wer ist's gewesen?

    Hier gibt es mal wieder verschiedene Lösungswege -- du kannst z. B. logische Ausdrücke für die Aussagen aufstellen und umformen, du kannst die Aufgabe aber auch grafisch lösen, indem du dir ein Venn-Diagramm für drei Mengen AA, BB, CC aufmalst:

    Venn-Diagramm

    Der Bereich innerhalb von AA bedeutet, dass AA schuldig ist usw.. Mittels der Aussagen schließt du nun Bereiche aus, bis nur noch ein Feld übrig ist.


Dieses Werk steht unter der freien Lizenz
CC BY-SA 4.0Was bedeutet das?