Gesetze der Logik – Serlo „Mathe für Nicht-Freaks“
Im Folgenden haben wir die wichtigsten Gesetze der Logik für dich zusammengefasst. Für Aussagen nutzen wir die Buchstaben , und , für Aussageformen , , usw.
Aussagenlogik Bearbeiten
Die Richtigkeit dieser Gesetze kann mit Wahrheitstabellen bewiesen werden.
Assoziativgesetze Bearbeiten
Bei der Disjunktion und bei der Konjunktion ist es egal, in welcher Reihenfolge du die Aussagen auswertest:
Kommutativgesetze Bearbeiten
Bei der Disjunktion und bei der Konjunktion ist es egal, in welcher Reihenfolge die einzelnen Teilaussagen verknüpft werden. Dies ist in der deutschen Sprache nicht unbedingt der Fall. Betrachte dazu folgende zwei Aussagen, welche in der Bedeutung einen leichten Unterschied aufweisen: „Ralf aß Haferbrei und er bekam Bauchschmerzen“ und „Er bekam Bauchschmerzen und Ralf aß Haferbrei“.
Distributivgesetze Bearbeiten
Eine Disjunktion kann in eine Konjunktion hineingezogen werden und umgekehrt.
Absorptionsgesetze Bearbeiten
Idempotenzgesetze Bearbeiten
Doppelte Verneinung Bearbeiten
Satz vom ausgeschlossenen Dritten Bearbeiten
- (lateinisch: tertium non datur, übersetzt: ein Drittes gibt es nicht.)
Satz vom Widerspruch Bearbeiten
Durch Anwendung der de Morganschen Regel, der doppelten Verneinung und der Kommutativität lässt sich der Satz vom Widerspruch in den Satz vom ausgeschlossenen Dritten umformen:
Die de-Morgansche Regel Bearbeiten
Bei der Negation einer Und- beziehungsweise einer Oder-Verknüpfung wird die Negation reingezogen und die Klammer aufgelöst. Aus einem wird dabei ein und umgekehrt.
Negation von Implikation und Äquivalenz Bearbeiten
Prinzip der Kontraposition Bearbeiten
Diese Äquivalenz wird oft genutzt, um eine Implikation zu beweisen, Redewendung: Beweis der Kontraposition.
Beweis durch Widerspruch Bearbeiten
Auch mit Hilfe der folgenden Äquivalenz kann eine Implikation bewiesen werden, Redewendung: Beweis durch Widerspruch.
Darstellung von Implikation und Äquivalenz Bearbeiten
Mit Hilfe dieser Gesetze kann die Implikation und die Äquivalenz auf Aussagen mit anderen Junktoren zurückgeführt werden.
Gesetze mit Wahr und Falsch Bearbeiten
Im Folgenden steht für „wahr“ und für „falsch“. und können als 0-stellige Junktoren angesehen werden.
- (Aus Falschem folgt Beliebiges.)
- (Wird gelegentlich als Definition für verwendet.)
Prädikatenlogik Bearbeiten
Negation von quantifizierten Aussagen Bearbeiten
Äquivalenzen über quantifizierte Aussagen Bearbeiten
- (Distributivität mit )
- (Distributivität mit )
- (Umschreibung des eindeutigen Existenzquantors)
Implikationen über quantifizierte Aussagen Bearbeiten
Hinweis
In der obigen Liste sind die Implikationen nicht umkehrbar.