Logische Implikation
Aussagenlogische wenn-dann-Verknüpfung
Basiswissen
Was meint A B? (externer Link)
- A ist eine hinreichende Bedingung für B.
- B ist eine notwendige Bedingung für A.
Wahrheitstabelle
- Wenn A falsch ist und B falsch ist, dann gilt: Aus A folgt B.
- Wenn A falsch ist und B wahr ist, dann gilt: Aus A folgt B.
- Wenn A wahr ist und B falsch ist, dann gilt: Aus A folgt B nicht.
- Wenn A wahr ist und B wahr ist dann gilt: Aus A folgt B.
Umgangssprachlich:
- Aus Falschem folgt alles.
- Aus Wahrem folgt nur Wahres.
Zeichen
Sonstiges
- A nennt man die Prämisse.
- B nennt man die Konklusion.