Ergänzungen im Überblick

Zusammenfassung

Die Aussagenlogik beschäftigt sich mit Aussagen, das sind Sätze, die die Eigenschaft haben, wahr oder falsch zu sein. Man spricht deswegen auch von einer zweiwertigen Logik, weil neben den beiden Wahrheitswerten wahr und falsch keine weitere Möglichkeit existiert (Prinzip vom ausgeschlossenen Dritten). Daneben gibt es auch mehrwertige Logiken, auf die wir hier aber nicht eingehen.