Wenn „und“, „oder“ und „wenn“ plötzlich kompliziert werden – Eine respektlose Einführung in die Aussagenlogik

Die Menschheit hat beeindruckende Dinge hervorgebracht: Raumfahrt, Antibiotika, Quantenphysik und als bisherigen Höhepunkt Reality-TV. Letzteres beweist allerdings, dass technischer Fortschritt nicht automatisch mit logischem Fortschritt einhergeht.

Dabei beginnt Logik erstaunlich bescheiden. Sie fragt zunächst nicht, ob eine Aussage klug, moralisch, sympathisch oder politisch korrekt ist. Sie fragt nur: Wie sind Aussagen miteinander verknüpft – und was folgt daraus?

Genau darum geht es in der Aussagenlogik.

Sie ist eine der elementarsten Formen formaler Logik und zugleich ein hervorragendes Werkzeug gegen jene besondere menschliche Fähigkeit, aus zwei halbwegs vernünftigen Sätzen eine völlig unvernünftige Schlussfolgerung zu basteln.

Logik interessiert sich zunächst nicht dafür, ob du recht hast

Eine Aussage ist in der Aussagenlogik zunächst einfach ein Satz, der einen Wahrheitswert besitzt: wahr oder falsch.

„Berlin ist die Hauptstadt Deutschlands“ ist eine Aussage.

„Mach endlich die Tür zu!“ ist keine Aussage im logischen Sinn, sondern eine Aufforderung.

„Ist heute Dienstag?“ ist eine Frage.

Und „Was für ein fantastischer Idiot!“ ist zwar möglicherweise treffend, aber logisch zunächst einmal eher kein besonders interessantes Untersuchungsobjekt.

Wir können Aussagen mit Buchstaben darstellen:

p: Es regnet.

q: Die Straße ist nass.

Damit wird aus Sprache eine Art logisches Lego. Und genau hier beginnt die eigentliche Angelegenheit.

Denn Aussagen können miteinander verknüpft werden.

Das logische „und“: Beide müssen liefern

Die einfachste Verknüpfung ist die Konjunktion:

p ∧ q

Gesprochen: „p und q“.

Beispiel:

Es regnet und die Straße ist nass.

Die gesamte Aussage ist nur dann wahr, wenn beide Teilaussagen wahr sind.

Regnet es und ist die Straße nass? Dann stimmt die Aussage.

Regnet es, aber die Straße ist trocken? Falsch.

Regnet es nicht, aber die Straße ist nass? Ebenfalls falsch.

Regnet es nicht und die Straße ist trocken? Auch falsch.

Das klingt banal. Ist es auch. Aber Banalität ist in der Logik kein Fehler. Sie ist der Versuch, den menschlichen Geist davon abzuhalten, sich selbst beim Denken ständig heimlich neue Spielregeln auszudenken.

Denn im Alltag behandeln wir ein „und“ gerne großzügiger.

„Ich will einen interessanten, gut bezahlten und stressfreien Job.“

Logisch ist das eine Konjunktion. Alle Bedingungen müssen erfüllt sein.

Das Leben hingegen antwortet gelegentlich:

Schön. Dann such dir mindestens zwei Jobs aus.

Das logische „oder“: Hier beginnt der Streit

Dann kommt die Disjunktion:

p ∨ q

Also: „p oder q“.

Im Alltag kann „oder“ allerdings zwei verschiedene Dinge bedeuten.

„Du kannst Kaffee oder Tee trinken“ kann heißen: eines von beiden.

In der klassischen Aussagenlogik bedeutet das normale logische „oder“ zunächst:

Mindestens eine der beiden Aussagen ist wahr.

Also auch beide.

Das nennt man das inklusive Oder.

Wenn gilt:

p = Ich trinke Kaffee.

q = Ich trinke Tee.

Dann ist „Ich trinke Kaffee oder Tee“ logisch auch dann wahr, wenn jemand offenbar beschlossen hat, seine Koffeinentzugserscheinungen mit allen verfügbaren Mitteln zu bekämpfen und beides trinkt.

Die natürliche Sprache ist hier weniger präzise als die Logik. Und genau deshalb ist logisches Denken so nützlich: Es zwingt uns, zu klären, was wir eigentlich behaupten.

„Wenn … dann …“: Der Lieblingsspielplatz menschlicher Missverständnisse

Besonders wichtig ist die Implikation:

p → q

Gesprochen:

Wenn p, dann q.

Beispiel:

Wenn es regnet, dann ist die Straße nass.

Das bedeutet nicht automatisch:

Wenn die Straße nass ist, hat es geregnet.

Vielleicht hat jemand die Straße mit seinem verschmutzten Badfußboden verwechselt und hat sich mit einem Haushaltswischer an ihr ausgetobt. Vielleicht ist ein Hydrant geplatzt. Vielleicht veranstaltet die Stadtverwaltung gerade ein ungewöhnlich kreatives und ambitioniertes Straßenbad.

Die Richtung ist entscheidend.

Aus

Regen → nasse Straße

folgt nicht automatisch

nasse Straße → Regen.

Genau diese Verwechslung nennt man den Fehlschluss der Bejahung des Konsequens.

Und er ist im Alltag allgegenwärtig.

Wenn Menschen reich sind, können sie sich Luxus leisten.

Dieser Mensch kann sich Luxus leisten.

Also ist er reich.

Nein.

Vielleicht hat er Schulden. Vielleicht gehört das Auto dem Nachbarn. Vielleicht ist er einfach hervorragend darin, finanzielle Realität mit Kreditkarten auszublenden.

Die Logik verlangt hier etwas Unangenehmes: Die Schlussfolgerung muss tatsächlich aus den Prämissen folgen.

Die notwendige Bedingung ist nicht automatisch die Ursache

Noch ein Klassiker:

Wenn ich Fieber habe, bin ich krank.

Daraus folgt nicht:

Wenn ich kein Fieber habe, bin ich gesund.

Und ebenso wenig:

Wenn ich krank bin, habe ich Fieber.

Die Aussagen können zusammenhängen, ohne identisch zu sein.

Das ist philosophisch interessant, weil wir ständig aus sprachlichen Zusammenhängen kausale Zusammenhänge machen. Die Logik selbst behauptet zunächst überhaupt keine Kausalität. Sie untersucht die Form der Verknüpfung.

Das ist ein wichtiger Unterschied.

Logik sagt:

Wenn p, dann q.

Sie sagt nicht automatisch:

p verursacht q.

Wer diesen Unterschied ignoriert, kann aus statistischen Zusammenhängen, zeitlichen Abfolgen oder bloßen Korrelationen erstaunlich schnell eine Weltanschauung basteln. Leider eine völlig irre.

„Nicht“: Der kleine Operator mit großer Wirkung

Dann gibt es die Negation:

¬p

Also: „nicht p“.

Aus

Es regnet.

wird:

Es regnet nicht.

Auch das klingt trivial. Doch Negationen sind philosophisch erstaunlich folgenreich.

„Nicht alle Menschen sind rational“ bedeutet nämlich nicht:

Alle Menschen sind irrational.

Es bedeutet lediglich:

Es gibt mindestens einen Menschen, der nicht rational ist.

Das klingt nach einem sprachlichen Detail. Tatsächlich entscheidet genau diese Unterscheidung darüber, ob aus einer vernünftigen Einschränkung plötzlich eine groteske Verallgemeinerung wird.

„Nicht jeder Politiker lügt“ ist eben etwas anderes als „Kein Politiker lügt“.

Wer den Unterschied nicht erkennt, sollte vielleicht mit absoluten Aussagen vorsichtig sein.

Das Internet wird ihm trotzdem gern welche liefern.

Warum Wahrheitstabellen so nützlich sind

Die Aussagenlogik kann Verknüpfungen mit Wahrheitstabellen darstellen.

Für zwei Aussagen p und q gibt es vier mögliche Kombinationen:

p	q	p ∧ q	p ∨ q
wahr	wahr	wahr	wahr
wahr	falsch	falsch	wahr
falsch	wahr	falsch	wahr
falsch	falsch	falsch	falsch

Das wirkt zunächst ungefähr so aufregend wie eine Bedienungsanleitung für einen Drucker.

Aber genau hier liegt ihre Stärke.

Eine Wahrheitstabelle zwingt uns, alle möglichen Fälle zu betrachten, statt nur den Fall, der unsere Lieblingsmeinung bestätigt.

Und das ist eine ausgesprochen unangenehme Übung.

Denn Menschen denken bevorzugt in Geschichten. Die Logik zwingt sie gelegentlich in Strukturen. Also einen Schritt näher an die Wahrheit.

Der philosophische Kern: Denken heißt Beziehungen prüfen

Die Aussagenlogik ist keine Theorie darüber, wie man besonders klug wirkt. Sie untersucht die logische Form von Aussagen und deren Verknüpfungen.

Ihre Stärke liegt gerade darin, dass sie zunächst vom Inhalt abstrahiert.

Ob

Wenn es regnet, wird die Straße nass

oder

Wenn Menschen keine Grenzen akzeptieren, entsteht Chaos

formal betrachtet wird, ist zunächst zweitrangig.

Man kann die Struktur untersuchen:

p → q

Dann lässt sich fragen:

Was genau wird behauptet?

Welche Bedingungen gelten?

Was folgt tatsächlich?

Was folgt nicht?

Und vor allem:

Habe ich gerade etwas aus der Aussage herausgelesen, das dort gar nicht steht?

Das ist eine der wichtigsten Fragen überhaupt.

Logik ist kein Gehirn, das niemals Unsinn produziert

Natürlich macht die Aussagenlogik niemanden automatisch vernünftig.

Man kann vollkommen korrekt logisch schließen und trotzdem von falschen Voraussetzungen ausgehen.

Alle Katzen können Latein.

Sokrates ist eine Katze.

Also kann Sokrates Latein.

Formal kann die Struktur eines Schlusses korrekt sein. Die Prämissen sind trotzdem Unsinn.

Logik garantiert also nicht automatisch wahre Ausgangsannahmen. Sie hilft zunächst dabei, herauszufinden, ob eine Schlussfolgerung aus den gegebenen Annahmen tatsächlich folgt.

Das ist weniger spektakulär als Gedankenlesen, aber erheblich nützlicher.

Vom logischen Operator zum besseren Denken

Die wichtigsten aussagenlogischen Verknüpfungen sind schnell zusammengefasst:

¬p – nicht p

p ∧ q – p und q

p ∨ q – p oder q

p → q – wenn p, dann q

p ↔ q – p genau dann, wenn q

Damit lässt sich bereits erstaunlich viel menschlicher Unsinn auseinandernehmen.

Man kann prüfen, ob jemand Bedingungen verwechselt, ein „oder“ falsch interpretiert, aus einer Implikation die falsche Richtung ableitet oder aus einer Negation plötzlich eine Totalbehauptung macht.

Und genau darin liegt der praktische Wert.

Die Aussagenlogik ist kein Luxus für Menschen, die freiwillig Wahrheitstabellen lesen, während andere Leute Fußball schauen.

Sie ist ein Training für eine elementare geistige Fähigkeit:

Nicht nur zu fragen, ob eine Aussage überzeugend klingt, sondern welche logische Struktur tatsächlich dahintersteht.

Denn zwischen

„Das klingt richtig“

und

„Das folgt logisch daraus“

liegt eine ziemlich große geistige Entfernung.

Und erstaunlich viele menschliche Meinungen schaffen diese Strecke nicht einmal mit Rückenwind.

Weiterlesen: Logik verstehen statt nur behaupten