Wenn / Dann — Quiz zur bedingten Logik
Meistere die Logik von Wenn-Dann-Bedingungen (P → Q). 45 Aufgaben in drei Schwierigkeitsgraden: Grundlagen behandelt die Wahrheitstafel für P→Q (leere Wahrheit, der einzige falsche Fall), Modus Ponens, Modus Tollens und warum das Bejahen des Konsequens und das Verneinen des Antezedens ungültig sind. Mittelstufe fügt die Kontraposition, die Umkehrung, die Inversion, das Bikonditional (P↔Q), die Disjunktionsäquivalenz (¬P∨Q) und den hypothetischen Syllogismus hinzu. Fortgeschrittene behandelt verkettete Bedingungen, Negation von Bedingungen (¬(P→Q) = P∧¬Q), Tautologien, komplexe Wahrheitswertanalysen und Randfälle.
Wie man Wenn / Dann spielt
- 1
Lerne die Wahrheitstafel
Die Wahrheitstafel im Bereich ist die Grundlage von allem. P→Q ist in genau EINEM Fall FALSCH: wenn P WAHR ist und Q FALSCH ist. In allen anderen Fällen – einschließlich wenn P FALSCH ist – ist die Bedingung WAHR. Diese 'leere Wahrheit' (ein falsches Antezedens macht die Bedingung wahr) ist das kontraintuitivste Konzept für Anfänger.
- 2
Erkenne die Schlussregeln
Modus Ponens (P→Q, P, ∴Q) und Modus Tollens (P→Q, ¬Q, ∴¬P) sind gültig. Verneinen des Antezedens (P→Q, ¬P, ∴¬Q) und Bejahen des Konsequens (P→Q, Q, ∴P) sind UNGÜLTIGE Fehlschlüsse. Die Grundlagenstufe prüft alle vier.
- 3
Beherrsche die äquivalenten Formen
Die Mittelstufe prüft vier verwandte Formen: die KONTRAPOSITION (¬Q→¬P, äquivalent zum Original), die UMKEHRUNG (Q→P, NICHT äquivalent), die INVERSION (¬P→¬Q, NICHT äquivalent) und das BIKONDITIONAL (P↔Q, nur wahr, wenn P und Q übereinstimmen). Außerdem: P→Q ≡ ¬P∨Q ist die Disjunktionsäquivalenz.
- 4
Umgang mit fortgeschrittenen Fällen
Fortgeschrittene Fragen behandeln: verketteter hypothetischer Syllogismus (A→B→C→D ergibt A→D); was wir bestimmen können, wenn P→Q als FALSCH bekannt ist (P=W, Q=F); Tautologien wie (P→Q)∨(Q→P); und die Negation ¬(P→Q) = P∧¬Q. Diese decken Inhalte aus diskreter Mathematik und formalen Logikkursen ab.
Hauptfunktionen
45 Aufgaben in 3 Schwierigkeitsgraden
Grundlagen (15): Die vollständige Wahrheitstafel für P→Q mit allen vier Zeilen; Identifizierung des einen falschen Falls (P=W, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); warum Verneinen des Antezedens und Bejahen des Konsequens ungültig sind; und leere Wahrheit (falsches Antezedens = immer wahr). Mittelstufe (15): Die Kontraposition (¬Q→¬P), die Umkehrung (Q→P) und die Inversion (¬P→¬Q); welche Paare logisch äquivalent sind; das Bikonditional (P↔Q); die Disjunktionsäquivalenz (P→Q ≡ ¬P∨Q); die Negation einer Bedingung; und der hypothetische Syllogismus. Fortgeschrittene (15): Verkettete Bedingungen; Tautologien; Wissen, dass P→Q falsch ist, erzwingt P=W und Q=F; Kombination von Bedingungen zur Beweisführung von Bikonditionalen; Bestimmung von Q sowohl aus P→Q als auch aus ¬P→Q; und die logische Bedeutung von P→P.
Interaktiver Wahrheitstafel-Bereich
Der Bereich zeigt die vollständige Wahrheitstafel für P→Q mit farbcodierten Wahrheitswerten – grüne Chips für WAHR, rote für FALSCH – und hebt die Zeile hervor, die FALSCH ergibt. Dies dient als ständige Referenz und lehrt die zentrale Mechanik, bevor das Quiz beginnt.
Semantische Farbauswahl
Antwortkacheln mit der Aufschrift WAHR sind dezent grün gefärbt und Kacheln mit der Aufschrift FALSCH sind rot gefärbt, noch bevor sie ausgewählt werden, passend zu ihrer semantischen Bedeutung. Dies schafft die Verbindung zwischen Wahrheitswertbezeichnungen und ihrer Bedeutung, anstatt alle Auswahlmöglichkeiten als visuell identisch zu behandeln.
Monospace-Logiknotation
Fragen und Erklärungen verwenden Standard-Logiknotation: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Die Monospace-Schriftart macht die logische Struktur scanbar und spiegelt wider, wie Bedingungen in diskreter Mathematik, Informatik und den formalen Argumentationsteilen von SAT/LSAT erscheinen.
Häufig gestellte Fragen
Warum ist 'Wenn falsch, dann alles' WAHR?
Dies wird als leere Wahrheit bezeichnet. Eine Bedingung 'Wenn P, dann Q' ist ein Versprechen: 'Immer wenn P geschieht, wird Q geschehen.' Wenn P niemals geschieht (P ist falsch), wird das Versprechen niemals getestet – und ein ungetestetes Versprechen kann nicht gebrochen werden. Daher ist die Bedingung technisch gesehen wahr. Das fühlt sich seltsam an, ist aber logisch konsistent: Ein falsches Antezedens kann die Bedingung niemals verletzen.
Was ist der Unterschied zwischen Kontraposition, Umkehrung und Inversion?
Original: Wenn P, dann Q (P→Q). Kontraposition: Wenn nicht Q, dann nicht P (¬Q→¬P) – ÄQUIVALENT zum Original. Umkehrung: Wenn Q, dann P (Q→P) – NICHT äquivalent. Inversion: Wenn nicht P, dann nicht Q (¬P→¬Q) – NICHT äquivalent (aber äquivalent zur Umkehrung). Eselsbrücke: Original und Kontraposition sind äquivalent; Umkehrung und Inversion sind untereinander äquivalent.
Was ist Modus Ponens?
Modus Ponens ('Bejahung des Antezedens'): P→Q, P, ∴Q. Wenn die Bedingung gilt und das Antezedens wahr ist, muss das Konsequens wahr sein. Beispiel: 'Wenn es regnet, wird der Boden nass. Es regnet. Daher ist der Boden nass.' Dies ist die grundlegendste und universell gültige Form der deduktiven Inferenz.
Was ist Modus Tollens?
Modus Tollens ('Verneinung des Konsequens'): P→Q, ¬Q, ∴¬P. Wenn die Bedingung gilt und das Konsequens FALSCH ist, muss das Antezedens falsch sein. Beispiel: 'Wenn es regnet, wird der Boden nass. Der Boden ist NICHT nass. Daher hat es NICHT geregnet.' Dies ist gültig, da die Bedingung verletzt würde (P=W, Q=F), wenn P wahr wäre.
Warum ist 'Bejahung des Konsequens' ungültig?
Bejahung des Konsequens: P→Q, Q, ∴P ist ungültig. Selbst wenn die Bedingung gilt und Q wahr ist, könnte P falsch sein – Q könnte eine andere Ursache haben. Beispiel: 'Wenn es regnet, wird der Boden nass. Der Boden ist nass. Daher hat es geregnet.' Ungültig – der Boden könnte von einem Sprinkler nass sein. Die Bedingung sagt nicht aus, dass Regen die EINZIGE Ursache für Nässe ist.
Wie funktioniert die Punktwertung?
Richtige Antworten ergeben 10 Punkte (Grundlagen), 15 Punkte (Mittelstufe) oder 20 Punkte (Fortgeschrittene). Aufeinanderfolgende richtige Antworten fügen nach der ersten einen Bonuspunkte-Streak von 5 Punkten pro Antwort hinzu. Eine falsche Antwort setzt den Streak auf Null zurück.