In der Aussagenlogik geht es um die Verknüpfung von Wahrheitswerten, wie sie zum Beispiel in dem Datentyp boolean in Java repräsentiert wird. Da Wahrheitswerte auch Bedingungen in IF-Statements oder als Eingangs- bzw. Ausgangsbedingung von Schleifen auftreten, ist einen Beschäftigung mit ihnen notwendiges Handwerkszeug für den Informatiker.
Statt Aussagenlogik verwendet man häufig auch den Begriff Boolesche Algebra.
Eine Aussage ist ein Satz oder eine Bedingung, die entweder wahr oder falsch ist. Man der Aussage also eindeutig einen Wert aus der Menge {0,1} zuordnen.
Die Strasse ist nass.
Heute ist Montag.
Ich heiße Ralph.
Wer ist Peter?
Hierbei handelt es sich um eine Frage.
Geh raus!
Eine Aufforderung.
In der Aussagenlogik hat es sich eingebürgert, dass Aussagen mit
Großbuchstaben bezeichnet werden.
Also Aussage A oder Aussage B.
© Ralph-Erich Hildebrandt, 22. Februar 2004