Korrektes Schließen mit Hilfe der Logik

Die folgenden fünf Regeln stammen aus der traditionellen Aussagenlogik und waren bereits
den Stoikern bekannt. Aus einer bzw. zwei Aussagen, den Prämissen, wird eine weitere Aus-
sage, die Konklusion, mit Sicherheit geschlossen.

MODUS PONENS (direkter Beweis)

wenn p, dann q Wenn es regnet, wird die Straße nass.
p Es regnet.
also: q Die Straße wird nass.

MODUS TOLLENS (indirekter Beweis)

wenn p, dann q Wenn es regnet, wird die Straße nass.
nicht q Die Straße wird nicht nass.
also: nicht p Es regnet nicht.

HYPOTHETISCHER SYLLOGISMUS / KETTENSCHLUSS

wenn p, dann q Wenn Leni lernt, hört sie Musik.
wenn q, dann r Wenn Leni Musik hört, freut sie sich.
also: wenn p, dann r Wenn Leni lernt, freut sie sich.

DISJUNKTIVER SYLLOGISMUS
p oder q Rafael wohnt in Deutschland oder Italien.
nicht p Rafael wohnt nicht in Deutschland.
also: q Rafael wohnt in Italien.

REDUCTIO AD ABSURDUM (indirekter Beweis)

wenn nicht p, dann q und nicht q Wenn Gott nicht existiert, dann bin ich und bin nicht
also: p Gott existiert.

Übungen
1. Wenn sich auf der einen Seite ein Vokal befindet, dann befindet sich auf der anderen
Seite eine gerade Zahl. Welche beiden Karten müssen umgedreht werden, um die Aus-
sage zu überprüfen?

2. Zwei typische Fehler sind:

wenn p, dann q wenn p, dann q
q nicht p
also: p also: nicht q.
Suche für beide Fälle alltagssprachliche Beispiele und überprüfe sie!
3. Ich habe mir eine Farbe (schwarz oder weiß) und eine Form (Kreis oder Quadrat) ge-
merkt. Jede Figur, die entweder die Farbe hat, die ich mir gemerkt habe, oder die Form
hat, die ich mir gemerkt habe, aber nicht beides, ist ein THOG. Ich sage dir, dass das
schwarze Quadrat ein THOG ist. Entscheide für jede der drei verbleibenden Figuren, ob
sie ein THOG ist oder nicht oder ob es unentscheidbar ist.

4. Du befindest sich auf einer Insel, auf der zwei Stämme leben. Die einen sagen stets die
Wahrheit, die anderen lügen immer. Du willst zum Schloss, kommst aber zu einer Wegga
belung, an der ein Mann sitzt. Du weiß nicht, zu welchem Stamm er gehört. Du darfst ihm
genau eine Frage stellen, um den Weg zu erfahren. Welche?

5.

CZ_2022