Aussagenlogik

Die Aussagenlogik ist ein Teilgebiet der Informatik und Logik, das sich mit Aussagen und ihren Beziehungen untereinander beschäftigt. Wenn wir allgemein von Aussagenlogik sprechen, meinen wir in der Regel die nach ihrem Erfinder George Boole benannte Boolesche Logik. In der Booleschen Logik ist eine Aussage ein Satz, der entweder wahr oder falsch ist.

💬

Beispiel

Heute ist Dienstag. ist eine Aussage, die ist.

Mach bitte die Tür zu. ist eine Aufforderung, keine Aussage.

Aussagen können mit logischen Operatoren verknüpft werden.

Logisches Und

Logisches Und

$A$	$B$	$A\wedge B$
falsch	falsch	falsch
falsch	wahr	falsch
wahr	falsch	falsch
wahr	wahr	wahr

Wahrheitstabelle für das Logische Und

Wenn man zwei Aussagen $A$ und $B$ mit Und ($\wedge$) verknüpft, entsteht eine neue Aussage $A\wedge B$, die genau dann wahr ist, wenn $A$ wahr ist und $B$ wahr ist. Sobald eine der beiden Aussagen falsch ist, ist auch die Gesamtaussage falsch.

💬

Beispiel

Heute ist Dienstag und ich habe eine Katze. ist eine Aussage, die aus zwei Einzelaussagen besteht, die mit einem und verbunden sind. Die einzelnen Aussagen sind: Heute ist Dienstag und Ich habe eine Katze.

Nur wenn beide dieser Aussagen wahr sind, ist die Gesamtaussage wahr. Wenn heute Mittwoch wäre, ich aber eine Katze hätte, wäre die Gesamtaussage trotzdem falsch.

In vielen Programmiersprachen wird das Logische Und durch zwei &-Zeichen dargestellt, etwa in Java oder C. In anderen Sprachen wie Python wird dafür das Schlüsselwort and verwendet.

In Scratch gibt es für das Logische Und den Block <<> und <>>.

🏗

Baustelle

Dieser Abschnitt wird gerade von Sn überarbeitet