Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen , denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik wird jeder Aussage genau einer der zwei Wahrheitswerte „wahr“ und „falsch“ zugeordnet. Der Wahrheitswert einer zusammengesetzten Aussage lässt sich ohne zusätzliche Informationen aus den Wahrheitswerten ihrer Teilaussagen bestimmen.
Eine Aussage kann immer nur wahr ( w, wahr, true, 1 ) oder nicht wahr (f, falsch, false, 0) sein, also ist die eindeutig durch die Wahrheitswerte bestimmt.
Anhand der Wahrheitswerte ist es möglich Wahrheitstabellen zu erstellen um so einen besseren Überblick über die Aussagen zu erlangen.
Beispiel:
Ein gutes Beispiel für eine Aussage ist folgender Satz:
„Gehe einkaufen und nimm 4 Liter Milch, wenn es Eier gibt, nimm 10.“
Die Bedeutung dieses Satzes in Umgangssprache lautet:
„Gehe einkaufen und nimm 4 Liter Milch und wenn es Eier gibt, nimm 10 Eier.“
Laut Aussagenlogik würde jedoch folgendes verstanden werden:
„Gehe einkaufen und nimm 4 Liter Milch und wenn es Eier gibt, nimm 10 Liter Milch.“
Es ist ganz wichtig, sich im Klaren zu sein, wie der Computer die eingegebenen Befehle interpretiert, ansonsten wird man nicht zum gewünschten Ergebnis kommen.