1 Einleitung (in Arbeit)
Einer der Grundbausteine, auf denen die modernen Kommunikations- und Informationstechnologien beruhen, ist Logik. Daher ist es höchst empfehlenswert, zumindest einen groben Blick auf die mathematische Logik zu werfen.
In diesem Kurs lernst du, dass eine Aussage nicht zwingend immer nur zum Deutschunterricht oder einer Gerichtsverhandlung gehört. Du untersuchst, ob Kombinationen oder Veränderungen von Aussagen gültig sind. Dieser Kurs bietet dabei nur einen kurzen und einfachen Einstieg in die einfachen Bausteine.
Insbesondere wirst du in diesem Kurs zunächst nur Aussagen kennenlernen, das sind Behauptungen, deren Wahrheitsgehalt feststellbar ist.
In manchen Situationen ist das nicht ausreichend: willst du z.B. feststellen, ob der "Schluss" gültig ist, musst du das Konzept der Aussageformen verwenden - du kannst ja nicht feststellen, ob eine wahre Aussage ist, weil darin die Variable enthalten ist.
Eine kurze Einführung in Aussageformen findest du in den letzten Kapiteln des Kurses, eine ausführliche Diskussion dieses Themas in Grundlagen der Mathematik.
Hier lernst du, verschiedene Aussagen zu kombinieren und den Wahrheitsgehalt der Kombination abhängig von den Wahrheitsgehalten der einzelnen Teilaussagen zu bestimmen.
(Aussagen-)Logik untersucht nicht den Wahrheitsgehalt einer Aussage direkt, sondern leitet diesen aus bereits erlangtem Wissen ab.
2 Aussagen und Wahrheitwert (in Arbeit)
In der Logik geht es darum, verschiedene Aussagen zu kombinieren.
Daher wird der zentrale Begriff der Aussage erklärt:
Eine (mathematische) Aussage ist eine Behauptung über einen (mathematischen) Sachverhalt, von der feststellbar ist, ob sie wahr oder falsch ist.
Das bedeutet, dass jeder Aussage genau einer der Wahrheitswerte wahr oder falsch zugeordnet werden kann. Dabei kommt es nicht darauf an, dass der Wahrheitswert direkt ersichtlich ist, sondern nur, dass dies prinzipiell möglich ist.
Beispiele
ist streng monoton steigend
Der vierten Aussage kann man nicht unbedingt direkt einen Wahrheitswert zuordnen. Es ist aber prinzipiell möglich: es ist und . Die Aussage ist also falsch.
Ein Gegenbeispiel ist "Pudding schmeckt gut", weil der Wahrheitsgehalt hiervon nicht objektiv bestimmbar ist.
Aussagen werden oft durch Großbuchstaben bezeichnet, also z.B.
3 Nicht (in Arbeit)
Eine Aussage lässt sich einfach verneinen (man sagt auch "negieren"). Sprachlich geschieht das meistens durch das Wort "nicht":
"Es regnet." wird nach der Verneinung zu (oder auch ): "Es regnet nicht."
nennt man Verneinung oder Negation von .
Das, was vorher gegolten hat, gilt jetzt genau nicht mehr. In Zweifelsfällen ist es oft am sichersten, der Aussage den Satzteil "Es ist nicht so, dass. . . " voranzustellen.
Dabei gelten die Regeln:
Ist wahr, so ist falsch.
Ist falsch, so ist wahr.
hat denselben Wahrheitswert wie
Die dritte Regel hat den Namen "Gesetz der doppelten Negation".
Beispiele
Ist A die wahre Aussage " ist durch teilbar", so ist die falsche Aussage "Es ist nicht so, dass durch teilbar ist". Das lässt sich auch als " ist nicht durch teilbar" formulieren.
Die Negation von " ist eine gerade Zahl" ist " ist eine ungerade Zahl".
Ist die (falsche) Aussage "Alle Zahlen sind gerade", so ist die Negation von zunächst "Es ist nicht so, dass alle Zahlen gerade sind". Das kannst du zu "Es gibt mindestens eine ungerade Zahl" umformulieren. Die Aussage "Alle Zahlen sind ungerade" ist nicht die Negation von , was man schon daran merken kann, dass diese Aussage genauso falsch wie ist.
4 Und (in Arbeit)
Mehrere Aussagen lassen sich durch ein logisches "Und" (Symbol: ) miteinander verknüpfen. Das logische Und bedeutet dabei eigentlich "und gleichzeitig". Damit der Ausdruck als wahr ausgewertet wird, muss also jede der Aussagen wahr sein.
Anders formuliert: Die Aussageverknüpfung ist schon falsch, wenn auch nur eine der beiden Aussagen und falsch ist.
Die Aussageverknüpfung "Und" heißt auch Konjunktion.
Für : "" und : " ist ungerade" kann man formulieren als "5 ist kleiner als und ungerade". Da und wahr sind, ist auch wahr.
In der Umgangssprache bezeichnet "und" oft eine zeitliche Abfolge:
"Sie trank ihr Glas leer und ging".
Mathematisch bedeutet das gleichzeitige Erfülltsein der beiden Aussagen.
Weitere Beispiele:
ist die (wahre) Aussage
Analog bedeutet genauer - eine wahre Aussage, da beide Teile wahr sind.
ist falsch, da der zweite Teil falsch ist.
Rechenregeln
Es gilt das Assoziativ- und das Kommutativgesetz:
und haben denselben Wahrheitswert
und haben denselben Wahrheitswert. Diese Regel überträgt sich natürlich sofort auf mehr als drei Aussagen: Eine Und-Kombination von mehreren Aussagen ist nur dann wahr, wenn alle Aussagen wahr sind. Ist auch nur eine der Aussagen falsch, ist auch die Kombination falsch.
5 Oder (in Arbeit)
Das logische "Oder" für zwei Aussagen kannst du dir vorstellen als: entweder die eine oder die andere oder beide Aussagen sind erfüllt. Es muss also mindestens eine der beteiligten Aussagen gelten, damit der Ausdruck als wahr gewertet werden kann.
Anders formuliert: die Verknüpfung ist nur dann falsch, wenn und beide falsch sind.
Die Aussageverknüpfung "Oder" heißt auch Disjunktion.
ist wahr, da der erste Teil wahr ist. Dass der zweite Teil falsch ist, ändert nichts.
Die (nicht ganz so mathematische) Aussage "Sein oder nicht Sein" ist also unproblematisch, weil sie immer wahr ist.
ist falsch, weil beide Klammern falsch sind.
Rechenregeln
Es gilt das Assoziativ- und das Kommutativgesetz:
und haben denselben Wahrheitswert
und haben denselben Wahrheitswert. Diese Regel überträgt sich natürlich sofort auf mehr als drei Aussagen: eine Oder-Verknüpfung ist wahr, wenn mindestens eine der Aussagen wahr ist. Anders formuliert: eine Oder-Verknüpfung ist nur dann falsch, wenn alle Aussagen falsch sind.
6 Wahrheitswerttabellen (in Arbeit)
Um dir einen Überblick über die Bedeutung von Aussagekombinationen zu verschaffen, sind Wahrheitswerttabellen ein gutes Mittel.
Dazu schreibst du (möglichst systematisch) alle möglichen Wahrheitswerte der beteiligten Aussagen in eine Spalte und untersuchst den Wahrheitswert einer Kombination.
Je nach Anzahl der Aussagen musst du eine passende Anzahl von Fällen unterscheiden. Bei einer Aussage sind es zwei (es gibt ja nur und ), bei zwei Aussagen vier, bei drei Aussagen acht und allgemein bei Aussagen .
Das ist die einfachste Tabelle, die für :
In der linken Spalte stehen die beiden Möglichkeiten der Wahrheitswerte von , in der rechten die entsprechenden von .
Wahrheitswerttabellen haben aber den Vorteil, dass man mehrere Kombinationen gleichzeitig untersuchen kann. Das wird sofort mit "Und" und "Oder" ausprobiert:
| ||||
| ||||
| ||||
|
Links sind alle Kombinationen der möglichen Wahrheitswerte von und aufgeschrieben, in der Spalten unter und stehen die entsprechenden Wahrheitswerte der Verknüpfungen.
7 Äquivalenz (in Arbeit)
Man nennt zwei logische Ausdrücke und äquivalent (Schreibweise: ), wenn beide wahr oder beide falsch sind.
Zwei Aussageverknüpfungen nennt man äquivalent, wenn der Wahrheitswert der Verknüpfungen für jede Kombination der Wahrheitswerte der einzelnen beteiligten Aussagen gleich ist. Als Schreibweise wird wieder verwendet.
Die Äquivalenz von Aussageverknüpfungen kannst du mit Wahrheitswerttabellen nachweisen. Wenn du alle Möglichkeiten der einzelnen Wahrheitswerte auflistest und die fraglichen Ausdrücke immer denselben Wahrheitswert haben, sind sie äquivalent.
Eine andere Möglichkeit ist die Verwendung von logischen Regeln wie den de Morganschen Regeln oder der Distributivgesetze.
Beispiel:
Als Abkürzung kann man und verwenden, du musst also nachweisen.
Also sind die Ausdrücke äquivalent.
Diese Verknüpfung ist also genau dann wahr, wenn eine der Aussagen und wahr sind, aber nicht beide.
8 Einfache Äquivalenzen (in Arbeit)
Jetzt kannst du einfache Regeln aufstellen. soll dabei eine wahre, eine falsche Aussage bedeuten.
Idempotenz
und
Absorbtion
und
und
Diese Regeln kannst du direkt einsehen, aber auch zur Übung mit einer Wahrheitswerttabelle beweisen.
Diese Regeln kennst du schon, sie sind hier nur zur Vollständigkeit noch einmal aufgeschrieben:
Kommutativgesetze
und
Assoziativgesetze
und
Weitere Regeln
9 De Morgansche Regeln (in Arbeit)
Was bedeutet es, wenn man eine "Und"-Aussage negiert? Probiere das an einem Beispiel aus und nimm die Gleichung . Dann haben wir zwei Aussagen:
: ist eine Lösung der Gleichung
: ist eine Lösung der Gleichung
Dann ist - da und beide wahr sind, auch wahr.
Was würde es bedeuten, wenn falsch wäre? Dann müsste entweder keine Lösung sein oder ist keine Lösung.
Also könnten und nicht gleichzeitig gelten - daher muss mindestens eine der Aussagen falsch sein. Nach den Regeln der Negation heißt das, dass entweder oder wahr sein muss, also .
Das ist eine der de Morganschen Regeln:
Dafür benutzt man auch das Zeichen (die genaue Bedeutung wird im Abschnitt über Äquivalenz erklärt):
Die andere de Morgansche Regel ist
Diese Regel kann man so erklären: wenn falsch ist, dann müssen und wahr sein.
Zu kompliziert gedacht? Dafür haben wir ja die Möglichkeit, die Äquivalenz der Ausdrücke mit Wahrheitswerttabellen nachzuprüfen:
Da die roten Spalten übereinstimmen, sind die beiden Ausdrücke äquivalent.
10 Distributivgesetze (in Arbeit)
Ähnlich wie bei den Zahlen das Distributivgesetz gilt, gibt es auch für die Logik-Verknüpfungen "Und" und "Oder" je ein Distributivgesetz:
Sicher weißt du schon, wie du die Gültigkeit der Regeln nachprüfen kannst. Es geht natürlich mit einer Wahrheitswerttabelle! Da es drei Aussagen sind, musst du Fälle unterscheiden. Das kannst du in einer Aufgabe nachrechnen.
Diesmal kannst du aber auch anders überlegen und dir dabei die schon bewiesenen Regeln zunutze machen. Los geht es mit
Wenn wahr ist, dann ist die linke Seite nach dem Absorptionsgesetz äquivalent zu . Aber auch rechts kann man nach dem Absorptionsgesetz zu und zu zusammenziehen, also ist die rechte Seite auch zu äquivalent.
Wenn falsch ist, dann ist sicher die linke Seite falsch, und weil dann auch und falsch sind, ist es auch die rechte Seite.
Ganz ähnlich beweist du das zweite Distributivgesetz
Wenn wahr ist, dann ist die linke Seite wahr, und weil dann auch und wahr sind, ist es auch die rechte Seite.
Wenn falsch ist, ist nach dem Absorptionsgesetz die linke Seite äquivalent zu . Aus dem gleichen Grund ist zu und zu äquivalent, also ist die rechte Seite genau wie die linke zu äquivalent.
11 Implikation (in Arbeit)
Sind und Aussagen, so definiert man die Implikation durch .
Die Idee dabei ist so: die Implikation soll bedeuten, dass aus der Aussage die Aussage folgt, d.h. wenn wahr ist, soll auch wahr sein. Ist falsch, gibt es keine Bedingung an .
Das bedeutet, dass die Wahrheitswerttabelle von so aussieht:
Die ersten beiden Zeilen sagen "Wenn wahr ist, ist auch wahr und nicht etwa falsch". Die unteren beiden Zeilen sagen "Wenn falsch ist, kann wahr oder falsch sein, beides ist OK".
Was hat das denn nun mit zu tun?
Eine Möglichkeit ist es, eine Wahrheitswerttabelle dazu aufzustellen und zu sehen, dass die Aussageverknüpfungen wirklich äquivalent sind. Eine andere ist die Benutzung der de Morganschen Regeln und der Distributivgesetze.
Einfache Beispiele
Zusammenhang mit der Äquivalenz
Die Idee ist, dass zwei Aussageverknüpfungen äquivalent sind, wenn jeweils eine aus der anderen folgt:
12 Aufgaben 1
13 Aufgaben 2
Laden