Forum

Hallo zusammen.

In meinem Informatik-Leistungskurs werden wir nächste Woche die Boolesche Logik und die Schaltalgebra durchnehmen. Ich habe mir das Thema und Verwandtes schon mal in den Ferien angeschaut.
Ihr habt sicher viel mehr Erfahrung damit und könnt mir bestimmt folgende Frage beantworten:

Worin unterscheidet sich die Boolesche Logik von der (mathematischen) Aussagenlogik und worin liegt das speziell Neue in der Booleschen Logik?
Ich komme zu der Frage, weil beispielsweise die UND-Verknüpfung der Aussagenlogik exakt der Booleschen UND-Verknüpfung entspricht.

Grüße
Marian

Hallo,

» Worin unterscheidet sich die Boolesche Logik von der (mathematischen)
» Aussagenlogik und worin liegt das speziell Neue in der Booleschen Logik?
Die boolesche Algebra definiert die Rechenregeln für die Aussagenlogik (ggf. auch nur für ein Teilgebiet davon, bin kein Mathematiker ).

Ausführlicher wird das in den verlinkten Abschnitten beschrieben:
https://de.wikipedia.org/wiki/Boolesche_Algebra#Zweielementige_boolesche_Algebra
https://de.wikipedia.org/wiki/Aussagenlogik#Algebraische_Sicht