Aussagenlogik
Aus KGS-Wiki
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.