Aufgaben zum Thema Aussagenlogik

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

Für diese Aufgabe benötigst Du folgendes Grundwissen: Wahrheitstafel
In dieser Aufgabe beweist du das erste Gesetz von De Morgan mithilfe einer Wahrheitstafel:
$\begin{array}{ccccccc} A & B & \neg A & \neg B & \neg A \lor \neg B & A \land B & \neg (A \land B) \\ 0 & 0 & 1 & 1 & 1 & 0 & 1 \\ 0 & 1 & 1 & 0 & 1 & 0 & 1 \\ 1 & 0 & 0 & 1 & 1 & 0 & 1 \\ 1 & 1 & 0 & 0 & 0 & 1 & 0 \end{array}$
Die Wahrheitswerte unter den Aussagen $\neg A \lor \neg B$ und $\neg (A \land B)$ sind dieselben. Damit sind die Aussagen äquivalent.
2
Zeige, dass die Aussagen $(A \to B) \land (B \to A)$ und $A \leftrightarrow B$ äquivalent sind, und zwar indem du die Gesetze der Logik anwendest. Hinweis: Setze für $A \to B$ die äquivalente Aussage $\neg A \lor B$ ein, wende das Distributivgesetz an, wende bei Bedarf das Kommutativgesetz an, wende das Gesetz $A \land \neg A \leftrightarrow 0$ an, wende das Gesetz $A \lor 0 \leftrightarrow A$ an und erhalte schließlich $(A \land B) \lor (\neg A \land \neg B)$ . Letztere Aussage ist äquivalent zu $A \leftrightarrow B$ , wie du anhand der entsprechenden Wahrheitstafel schnell siehst.

Für diese Aufgabe benötigst Du folgendes Grundwissen: Aussagenlogik
Entsprechend dem Hinweis formst du die Aussagen folgendermaßen um. Du wendest das Distributivgesetz wie beim Ausmultiplizieren von Klammern an.
$\begin{array}{ll} (A \to B) \land (B \to A) \\ \leftrightarrow & (\neg A \lor B) \land (\neg B \lor A) \\ \leftrightarrow & (\neg A \land \neg B) \lor (\neg A \land A) \lor (B \land \neg B) \lor (B \land A) \\ \leftrightarrow & (\neg A \land \neg B) \lor 0 \lor 0 \lor (B \land A) \\ \leftrightarrow & (\neg A \land \neg B) \lor (B \land A) \\ \leftrightarrow & (A \land B) \lor (\neg A \land \neg B) \\ \leftrightarrow & (A \leftrightarrow B) \end{array}$
3
Bei einem Verstoß gegen ein mathematisches Gesetz kommen drei stadtbekannte Gauner $A$ , $B$ und $C$ als Täter in Frage -- einer alleine oder mehrere zusammen. Der Polizei liegen zwei Aussagen vor:
Wenn $A$ unschuldig ist, ist $B$ schuldig.
Wenn $B$ unschuldig ist, sind sowohl $A$ als auch $C$ 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 $A$ , $B$ , $C$ aufmalst:
Der Bereich innerhalb von $A$ bedeutet, dass $A$ schuldig ist usw.. Mittels der Aussagen schließt du nun Bereiche aus, bis nur noch ein Feld übrig ist.

Für diese Aufgabe benötigst Du folgendes Grundwissen: Aussagenlogik
1. Variante
Zunächst legst du Folgendes fest:
Die Aussage $A$ bedeutet: Der Gauner $A$ ist schuldig.
Somit bedeutet die Aussage $\neg A$ : Der Gauner $A$ ist unschuldig.
Dasselbe gilt entsprechend für $B$ und $C$ .
Auf diese Weise formalisierst du die beiden Aussagen, die der Polizei vorliegen.
Wenn $A$ unschuldig ist, ist $B$ schuldig.
$(\neg A) \to B$ ist äquivalent zu $(\neg (\neg A)) \lor B$ und damit zu $A \lor B$ .
Wenn $B$ unschuldig ist, sind sowohl $A$ als auch $C$ schuldig.
$(\neg B) \to (A \land C)$ ist äquivalent zu $(\neg (\neg B)) \lor (A \land C)$ und damit zu $B \lor (A \land C)$ .
Die erste Aussage ist wahr, die zweite Aussage aber falsch. Indem du die beiden Aussagen kombinierst, erhältst du
$(A \lor B) \land \neg (B \lor (A \land C))$
Nun wendest du in der zweiten Klammer die de Morgansche Regel an:
$(A \lor B) \land (\neg B \land \neg (A \land C))$
Wegen des Assoziativgesetzes gilt außerdem:
$((A \lor B) \land \neg B) \land (\neg A \lor \neg C)$
Das Distributivgesetz ergibt:
$((A \land \neg B) \lor (B \land \neg B)) \land (\neg A \lor \neg C)$
Die Aussage $B \land \neg B$ ist immer $false$ :
$((A \land \neg B) \lor false) \land (\neg A \lor \neg C)$
Da $X \lor false$ gleich $X$ ist, gilt auch:
$A \land \neg B \land (\neg A \lor \neg C)$
Assoziativgesetz und Kommutativgesetz erlauben folgende Umformung:
$\neg B \land (A \land (\neg A \lor \neg C))$
Hier wendest du nun erneut das Distributivgesetz an:
$\neg B \land ((A \land \neg A) \lor (A \land \neg C))$
Auch hier kannst du einen Term durch $false$ ersetzen:
$\neg B \land (false \lor (A \land \neg C))$
Im letzten Schritt erhältst du eine sehr einfache Formel:
$\neg B \land A \land \neg C$
Diese Aussage ist nur wahr, wenn $A$ gleich $true$ ist und $B$ und $C$ gleich $false$ sind. Das heißt, $A$ ist schuldig und $B$ und $C$ sind unschuldig.

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

Aufgaben zum Thema Aussagenlogik

1. Variante