Die Kunst, aus einer Annahme eine Implikation zu bauen
Implikationseinführung und natürliches Schließen in der Aussagenlogik
„Wenn das so ist, dann folgt daraus …“
Diesen Satz kennen wir aus Diskussionen, politischen Debatten, Beziehungen und dem ganz normalen Alltag. Meistens folgt danach allerdings nicht besonders viel. Häufig wird lediglich eine Behauptung an eine andere gehängt und anschließend so getan, als hätte man damit bereits logisch argumentiert.
Die Aussagenlogik ist weniger großzügig.
Sie fragt nicht nur, was behauptet wird, sondern auch, wie man von einer Aussage zu einer anderen gelangt.
Eine der wichtigsten Regeln des natürlichen Schließens ist dabei die Implikationseinführung.
Sie beantwortet eine scheinbar einfache Frage:
Wie kann ich eine Aussage der Form „Wenn p, dann q“ logisch herleiten?
Die Antwort ist elegant: Man nimmt p vorübergehend an, leitet daraus q her und entlädt anschließend die Annahme.
Damit wird aus einer hypothetischen Überlegung eine logisch gerechtfertigte Implikation.
Was ist überhaupt eine Implikation?
Eine Implikation hat die Form:
p → q
Gelesen:
Wenn p, dann q.
Dabei heißt p Antezedens und q Konsequens.
Zum Beispiel:
r → b
Wenn ich regelmäßig lerne, dann bestehe ich die Prüfung.
Die Aussagenlogik interessiert sich zunächst nicht dafür, ob diese Behauptung im wirklichen Leben tatsächlich stimmt. Sie untersucht ihre logische Struktur.
Eine Implikation einfach zu behaupten ist deshalb noch kein Beweis.
Wer sagt:
„Wenn ich regelmäßig lerne, bestehe ich die Prüfung.“
hat damit noch nicht gezeigt, dass diese Verbindung logisch aus bestimmten Voraussetzungen folgt.
Die Implikationseinführung zeigt dagegen, wie man eine solche Verbindung formal herleitet.
Prämisse oder Annahme?
Im natürlichen Schließen begegnen uns zwei Arten von Voraussetzungen, die leicht verwechselt werden: Prämissen und Annahmen.
Eine Prämisse ist eine Voraussetzung des Arguments. Sie gehört zum Ausgangspunkt des Beweises.
Eine Annahme wird dagegen nur vorübergehend innerhalb eines Subbeweises eingeführt. Sie dient dazu, zu untersuchen, was sich unter dieser Voraussetzung herleiten lässt.
Wir sagen also nicht:
„p ist bewiesen.“
Sondern:
„Nehmen wir vorübergehend an, dass p gilt. Was folgt daraus?“
Der Unterschied ist entscheidend:
Prämissen gehören zu den Voraussetzungen des gesamten Beweises. Annahmen gelten nur innerhalb des Subbeweises, in dem sie eingeführt wurden.
Oder noch einfacher:
Eine Prämisse sagt: „Das ist eine Voraussetzung unseres Arguments.“
Eine Annahme sagt: „Nehmen wir einmal an, das wäre so.“
Diese Unterscheidung ist notwendig, damit klar bleibt, wovon eine hergeleitete Aussage tatsächlich abhängt.
Die formale Regel der Implikationseinführung
Die Regel der Implikationseinführung wird in einer Fitch-artigen Darstellung so geschrieben:
[p]ᶦ│ ⋮│ q└────────** p → q →I, i**
Die senkrechte Linie │ markiert den Geltungsbereich des Subbeweises.
Die hochgestellte Kennzeichnung ᶦ markiert die vorübergehende Annahme, die am Ende entladen wird.
Die Regel bedeutet:
[p]ᶦ wird als vorübergehende Annahme eingeführt.
Innerhalb ihres Geltungsbereichs wird q hergeleitet.
Der Subbeweis wird abgeschlossen.
Die Annahme p wird entladen.
Daraus wird p → q geschlossen.
→I steht für Implikationseinführung.
Die Regel sagt also nicht, dass p bewiesen wurde. Sie sagt:
Unter der Annahme p lässt sich q herleiten.
Genau diese Abhängigkeit wird anschließend als Implikation ausgedrückt.
Ein vollständiger Beweis
Nehmen wir folgende Prämissen:
r → b Prämisse
b → e Prämisse
Dabei bedeuten:
r = Ich lerne regelmäßig.
b = Ich bestehe die Prüfung.
e = Ich erhalte ein Zertifikat.
Gesucht ist:
r → e
Der vollständige natürliche-Deduktionsbeweis lautet:
1. r → b Prämisse
2. b → e Prämisse
3. │ [r]ᶦ Annahme
4. │ b 1, 3 →E
5. │ e 2, 4 →E
6. r → e 3–5 →I, i
Die Zeilen 3–5 bilden den Subbeweis.
In Zeile 3 wird r vorübergehend angenommen:
[r]ᶦ
Das hochgestellte ᶦ kennzeichnet genau diese Annahme.
In Zeile 4 wird aus
r → b
und
r
durch Implikationselimination (→E)
b
hergeleitet.
In Zeile 5 wird aus
b → e
und
b
wiederum durch Implikationselimination (→E)
e
hergeleitet.
Damit ist innerhalb des Subbeweises gezeigt, dass unter der Annahme r die Aussage e folgt.
In Zeile 6 wird deshalb die mit ᶦ gekennzeichnete Annahme entladen und die Implikation
r → e
durch Implikationseinführung (→I) geschlossen.
Die Zeilenverweise 3–5 zeigen dabei exakt den Subbeweis, aus dem die Implikation gewonnen wird. Das i verweist auf die in Zeile 3 mit ᶦ markierte Annahme.
Der Beweis zeigt also nicht:
r
sondern:
r → e
Genau darin besteht die Funktion der Implikationseinführung.
Was bedeutet „Annahme entladen“?
Die Annahme [r]ᶦ aus Zeile 3 gilt nur innerhalb des Subbeweises. Sie darf nach dessen Abschluss nicht einfach als bewiesene Tatsache weiterverwendet werden.
Wir dürfen also nicht sagen:
„Ich habe r angenommen, also gilt r.“
Das wäre logisch ungefähr so seriös wie:
„Ich habe mir vorgestellt, ich hätte eine Million Euro. Also kann ich mir jetzt einen Porsche kaufen.“
Nein.
Die Annahme war lediglich ein Werkzeug des Beweises.
Beim Entladen wird die Annahme nicht bestätigt oder widerlegt. Vielmehr wird ihre Abhängigkeit aus dem weiteren Beweis entfernt.
Aus
„Unter der Annahme r folgt e“
wird:
r → e
Das ist der eigentliche Sinn der Implikationseinführung.
Man könnte sagen:
Die Annahme verschwindet aus dem Beweis – aber ihre Rolle im Beweis bleibt als Implikation erhalten.
Warum das logisch so wichtig ist
Die Implikationseinführung formalisiert eine Denkbewegung, die wir ständig benutzen:„Nehmen wir an, X wäre der Fall. Was würde daraus folgen?“
Das ist hypothetisches Denken.
Wissenschaft, Mathematik und Philosophie arbeiten häufig mit solchen Überlegungen. Man untersucht nicht nur, was tatsächlich der Fall ist, sondern auch, welche Konsequenzen sich aus bestimmten Voraussetzungen ergeben.
Die Aussagenlogik zwingt uns dabei zu einer wichtigen intellektuellen Disziplin:
Verwechsle eine Annahme nicht mit einer Prämisse und eine Prämisse nicht mit einer Konklusion.
Eine Prämisse wird als Voraussetzung des Arguments vorgegeben.
Eine Annahme wird innerhalb eines Subbeweises vorübergehend eingeführt.
Eine Konklusion wird aufgrund der verfügbaren Voraussetzungen und zulässigen Schlussregeln hergeleitet.
Das ist keine akademische Haarspalterei. Es entscheidet darüber, ob ein Beweis überhaupt gültig ist.
Der typische Denkfehler: Aus der Konsequenz zurückspringen
Besonders wichtig ist die Unterscheidung zwischen gültigen und ungültigen Schlussformen.
Aus
p → q
und
q
darf man nicht schließen:
p
Das ist der Fehlschluss der Bejahung des Konsequens.
Formal:
1. p → q Prämisse
2. q Prämisse
3. p ungültiger Schluss
Für Zeile 3 gibt es keine gültige Anwendung einer Schlussregel.
Beispiel:
Wenn es regnet, wird die Straße nass.
Die Straße ist nass.
Also regnet es.
Das ist kein gültiger Schluss.
Die Straße kann auch durch eine Straßenreinigung, einen Gartenschlauch oder einen Wasserrohrbruch nass geworden sein.
Die Implikation sagt:
Wenn p, dann q.
Sie sagt nicht:
Nur wenn p, dann q.
Die Richtung eines Schlusses ist deshalb entscheidend.
Und genau hier unterscheidet sich logisches Schließen von jener wunderbaren Alltagstechnik, bei der man erst das gewünschte Ergebnis festlegt und anschließend passende Gründe sucht.
Logik ist der kontrollierte Umgang mit Möglichkeiten
Die Implikationseinführung zeigt deshalb etwas Grundsätzliches über logisches Denken.
Logik zwingt uns, drei Dinge auseinanderzuhalten:
Was wird als Voraussetzung des Arguments gegeben?
→ Prämisse
Was wird innerhalb eines Subbeweises vorübergehend vorausgesetzt?
→ Annahme
Was wird aufgrund der verfügbaren Voraussetzungen und zulässigen Schlussregeln hergeleitet?
→ Konklusion
Wer diese Ebenen vermischt, kann sich seine Argumentation nach Belieben zurechtbiegen.
Wer sie auseinanderhält, muss sich plötzlich rechtfertigen.
Und genau das ist der unangenehme Charme der Logik.
Sie interessiert sich nicht dafür, ob eine Behauptung überzeugend klingt.
Sie fragt:
Welche Voraussetzungen hast du?
Welche Annahme hast du eingeführt?
Welche Schlussregel hast du angewendet?
Und welche Annahme hast du anschließend tatsächlich entladen?
Das ist weniger bequem als Meinung.
Aber erheblich zuverlässiger.
Die Regel in einem Satz
Die gesamte Implikationseinführung lässt sich auf einen einzigen Gedanken reduzieren:
Wenn sich unter der vorübergehenden Annahme p die Aussage q herleiten lässt, darf die Annahme p entladen und p → q geschlossen werden.
Formal:
[p]ᶦ│ ⋮│ q└────────** p → q →I, i**
Oder ganz ohne Fachsprache:
Nimm p vorübergehend an. Leite daraus q her. Entlade die Annahme. Schließe: p → q.
Das ist die Implikationseinführung.
Und sie zeigt eine der wichtigsten Regeln des logischen Denkens:
Eine Annahme ist noch keine Wahrheit. Sie ist ein Werkzeug, mit dem wir prüfen, was unter einer bestimmten Voraussetzung folgt.
Beispiel:
Wenn Deutschland aus dem Euro austritt, geht es bergauf
Die AfD fordert in ihrem Bundestagswahlprogramm 2025 einen Austritt Deutschlands aus dem Euro-System. Daraus lässt sich eine stark vereinfachte politische Aussage formulieren:
Wenn Deutschland aus dem Euro austritt, geht es wirtschaftlich bergauf.
Das Problem ist zunächst nicht, ob diese Aussage politisch richtig oder falsch ist. Das Problem ist ihre logische Konstruktion.
Setzen wir:
p = Deutschland tritt aus dem Euro aus.q = Deutschlands wirtschaftliche Lage verbessert sich.
Die Behauptung lautet formal:
p → q
Doch wie kommt man von p zu q?
Der entscheidende Punkt: Die Prämissen hängen voneinander ab
Nach der Regel der Implikationseinführung müssen wir zunächst p vorübergehend annehmen:
1. │ [p]ᶦ Annahme
2. │ ⋮
3. │ q ?
4. p → q 1–3 →I, i
Das Fragezeichen in Zeile 3 ist das eigentliche Problem.
Aus
p = Deutschland tritt aus dem Euro aus
folgt logisch nicht unmittelbar
q = Deutschlands wirtschaftliche Lage verbessert sich.
Wir benötigen eine Schlusskette.
Nehmen wir dazu an:
s = Eine nationale Währung verbessert Deutschlands Wettbewerbsfähigkeit.
t = Die verbesserte Wettbewerbsfähigkeit überwiegt die wirtschaftlichen Kosten des Euro-Austritts.
q = Deutschlands wirtschaftliche Lage verbessert sich.
Nun kommt es auf die Abhängigkeit an.
Wir behaupten nicht einfach:
p, s, t, also q.
Vielmehr müssen wir zeigen, wie jede Aussage die nächste ermöglicht:
p → s
bedeutet:
Wenn Deutschland aus dem Euro austritt, dann verbessert sich seine Wettbewerbsfähigkeit.
Daraus folgt zusammen mit p:
s
Jetzt haben wir aber noch nicht q.
Denn s allein reicht nicht. Wir brauchen den nächsten Zusammenhang:
s → t
also:
Wenn sich die Wettbewerbsfähigkeit verbessert, dann überwiegt diese Verbesserung die wirtschaftlichen Kosten des Austritts.
Erst zusammen mit dem bereits hergeleiteten s erhalten wir:
t
Und auch damit sind wir noch nicht bei q.
Wir benötigen:
t → q
also:
Wenn dieser wirtschaftliche Vorteil die Kosten überwiegt, verbessert sich insgesamt die wirtschaftliche Lage.
Erst jetzt folgt:
q
Die Struktur ist also:
p
↓
s
↓
t
↓
q
Oder formal:
p → s
s → t
t → q
Jede Stufe benötigt die vorherige.
Der vollständige Formalbeweis
Jetzt lässt sich die Abhängigkeit im natürlichen Schließen sauber darstellen:
1. │ [p]ᶦ Annahme
2. │ p → s Prämisse
3. │ s → t Prämisse
4. │ t → q Prämisse
5. │ s 1, 2 →E
6. │ t 3, 5 →E
7. │ q 4, 6 →E
8. p → q 1–7 →I, i
Die einzelnen Schritte sind jetzt besonders wichtig.
Zeile 1:Wir nehmen p an.
Zeile 2:Wir haben die Brücke von p nach s.
Aus p und p → s folgt s.
Zeile 3:Jetzt benötigen wir eine weitere Brücke: von s nach t.
Da wir s bereits hergeleitet haben, können wir daraus t gewinnen.
Zeile 4:Schließlich benötigen wir die Brücke von t nach q.
Da t bereits hergeleitet wurde, folgt daraus q.
Erst nachdem q innerhalb des Subbeweises erreicht wurde, dürfen wir die ursprüngliche Annahme p entladen.
Damit erhalten wir:
p → q
Warum die Abhängigkeit so wichtig ist
Der Formalbeweis macht etwas sichtbar, das in politischen Aussagen gerne verschwindet:
q hängt nicht direkt von p ab.
q hängt in diesem Modell von t ab.
t hängt von s ab.
s hängt von p ab.
Die behauptete Schlussfolgerung ist also nur so tragfähig wie jede einzelne Verbindung in dieser Kette.
Wenn beispielsweise p → s nicht zutrifft, bricht die Kette bereits bei s ab.
Wenn s → t nicht zutrifft, kommen wir trotz s nicht zu t.
Und wenn t → q nicht zutrifft, erreichen wir trotz aller vorherigen Schritte nicht q.
Das ist der eigentliche Nutzen der formalen Logik: Sie zwingt uns, eine scheinbar selbstverständliche Verbindung in ihre Abhängigkeiten zu zerlegen.
Dabei ist noch etwas wichtig: Die Logik entscheidet nicht, ob die Prämissen p → s, s → t und t → q empirisch wahr sind. Sie zeigt nur:
Wenn diese Prämissen gelten, dann ist die Schlussfolgerung formal korrekt hergeleitet.
Das ist der Unterschied zwischen Gültigkeit eines Schlusses und Wahrheit seiner Prämissen.
Die politische Kurzform
„Euro raus, Wirtschaft rauf.“
überspringt genau diese Prüfung.
Logisch betrachtet müsste man deshalb nicht nur fragen:
Ist p → q logisch gültig?
Sondern vor allem:
Welche Brückenprämissen machen aus p tatsächlich q – und sind diese Brücken selbst begründet?
Oder respektlos formuliert:
Der Pfeil sieht elegant aus. Dumm nur, dass er unterwegs drei Brücken braucht. Und jede davon muss erst einmal tragen.
Deshalb kann das Fazit nur lauten:
Wenn keine überzeugenden Argumente für diese drei Brücken vorgebracht werden können, bleibt die Forderung "Raus aus dem Euro" schlichtweg - heiße Luft!
Mehr zur Kunst des Denkens.
Kommentare